Gary is big. Gary is blue. Gary is green. Gary is quiet. Gary is red. Gary is round. Gary is white. White, big things are round. All quiet, blue things are red. If something is big then it is white.
Gary is blue.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is green.[(triple3)] Gary is quiet.[(triple4)] Gary is red.[(triple5 OR ((triple4 triple2) -> rule2))] Gary is round.[(triple6 OR ((triple7 triple1) -> rule1) OR ((((triple1) -> rule3) triple1) -> rule1))] Gary is white.[(triple7 OR ((triple1) -> rule3))]