Gary is green. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is white. Gary is young. If something is round and red then it is young. If something is young and green then it is quiet. If something is rough and quiet then it is green.
Gary is quiet.
@0: Gary is green.[(triple1 OR ((triple4 triple2) -> rule3))] Gary is quiet.[(triple2 OR ((triple7 triple1) -> rule2) OR ((((triple5 triple3) -> rule1) triple1) -> rule2))] Gary is red.[(triple3)] Gary is rough.[(triple4)] Gary is round.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7 OR ((triple5 triple3) -> rule1))]