Gary is big. Gary is furry. Gary is green. Gary is not kind. Gary is nice. Gary is quiet. Gary is red. If Gary is nice then Gary is big. Quiet people are red.
Gary is not nice.
@0: Gary is big.[(triple1 OR ((triple5) -> rule1))] Gary is furry.[(triple2)] Gary is green.[(triple3)] Gary is nice.[(triple5)] Gary is not kind.[(triple4)] Gary is quiet.[(triple6)] Gary is red.[(triple7 OR ((triple6) -> rule2))]