Gary is big. Gary is blue. Gary is cold. Gary is kind. Gary is quiet. Gary is rough. Gary is round. If someone is kind and round then they are quiet. If someone is cold and rough then they are big. If someone is rough and quiet then they are big.
Gary is cold.
@0: Gary is big.[(triple1 OR ((triple3 triple6) -> rule2) OR ((triple6 triple5) -> rule3) OR ((triple6 ((triple4 triple7) -> rule1)) -> rule3))] Gary is blue.[(triple2)] Gary is cold.[(triple3)] Gary is kind.[(triple4)] Gary is quiet.[(triple5 OR ((triple4 triple7) -> rule1))] Gary is rough.[(triple6)] Gary is round.[(triple7)]