> That in a group of at least six people, there are three people who all know each other. If that's all it was, you could just construct a group of complete st

> That in a group of at least six people, there are three people who all know each other. If that's all it was, you could just construct a group of complete strangers as a counterexample. But as others mentioned, you left out the OR part.