Gary is big. Gary is blue. Gary is nice. Gary is quiet. Gary is red. Gary is round. Gary is not white. All blue, big people are not white. If someone is white and not red then they are big. If someone is blue and not round then they are not big. Blue, round people are nice. All big people are nice. If someone is blue and not nice then they are quiet. If someone is white and not nice then they are quiet. If someone is white and not blue then they are quiet.
Gary is white.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is nice.[(triple3 OR ((triple1) -> rule5) OR ((triple2 triple6) -> rule4))] Gary is not white.[(triple7 OR ((triple2 triple1) -> rule1))] Gary is quiet.[(triple4)] Gary is red.[(triple5)] Gary is round.[(triple6)]