Gary is big. Gary is furry. Gary is nice. Gary is red. Gary is rough. Gary is white. Gary is young. All rough things are big. If something is red then it is white.
Gary is not furry.
@0: Gary is big.[(triple1 OR ((triple5) -> rule1))] Gary is furry.[(triple2)] Gary is nice.[(triple3)] Gary is red.[(triple4)] Gary is rough.[(triple5)] Gary is white.[(triple6 OR ((triple4) -> rule2))] Gary is young.[(triple7)]