Gary is big. Gary is furry. Gary is quiet. Gary is red. Gary is rough. Gary is white. Gary is young. All quiet, white people are young. If someone is young and rough then they are red.
Gary is not red.
@0: Gary is big.[(triple1)] Gary is furry.[(triple2)] Gary is quiet.[(triple3)] Gary is red.[(triple4 OR ((triple7 triple5) -> rule2) OR ((((triple3 triple6) -> rule1) triple5) -> rule2))] Gary is rough.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7 OR ((triple3 triple6) -> rule1))]