Gary is big. Gary is furry. Gary is green. Gary is kind. Gary is quiet. Gary is smart. Gary is white. Green, smart people are big. If someone is quiet then they are white.
Gary is furry.
@0: Gary is big.[(triple1 OR ((triple3 triple6) -> rule1))] Gary is furry.[(triple2)] Gary is green.[(triple3)] Gary is kind.[(triple4)] Gary is quiet.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7 OR ((triple5) -> rule2))]