Gary is blue. Gary is cold. Gary is kind. Gary is rough. Gary is round. Gary is smart. Gary is white. All cold, round people are smart. All round, cold people are blue. If someone is round then they are rough. If Gary is white and Gary is smart then Gary is kind. If Gary is not cold then Gary is smart. If Gary is not cold and Gary is not blue then Gary is smart.
Gary is not round.
@0: Gary is blue.[(triple1 OR ((triple5 triple2) -> rule2))] Gary is cold.[(triple2)] Gary is kind.[(triple3 OR ((triple7 triple6) -> rule4) OR ((triple7 ((triple2 triple5) -> rule1)) -> rule4))] Gary is rough.[(triple4 OR ((triple5) -> rule3))] Gary is round.[(triple5)] Gary is smart.[(triple6 OR ((triple2 triple5) -> rule1))] Gary is white.[(triple7)]