Gary is blue. Gary is furry. Gary is green. Gary is quiet. Gary is red. Gary is white. Gary is young. All blue things are red. If something is furry and not green then it is quiet. If something is young and red then it is blue.
Gary is red.
@0: Gary is blue.[(triple1 OR ((triple7 triple5) -> rule3))] Gary is furry.[(triple2)] Gary is green.[(triple3)] Gary is quiet.[(triple4)] Gary is red.[(triple5 OR ((triple1) -> rule1))] Gary is white.[(triple6)] Gary is young.[(triple7)]