Anne is big. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Anne is round. Gary is big. Gary is green. Gary is kind. Gary is quiet. Gary is red. Gary is round. Harry is big. Harry is kind. Harry is red. If Gary is nice and Gary is red then Gary is big. If Anne is big then Anne is kind. If Anne is big then Anne is green. If Anne is red then Anne is big. If someone is red then they are kind. Round people are big. If someone is red then they are green. All kind people are big.
Harry is not big.