Gary is big. Gary is furry. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is smart. If someone is nice and red then they are smart.
Gary is quiet.
@0: Gary is big.[(triple1)] Gary is furry.[(triple2)] Gary is green.[(triple3)] Gary is nice.[(triple4)] Gary is quiet.[(triple5)] Gary is red.[(triple6)] Gary is smart.[(triple7 OR ((triple4 triple6) -> rule1))]