Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is nice. Gary is red. Gary is white. Furry people are blue. If Gary is cold then Gary is white.
Gary is blue.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2 OR ((triple4) -> rule1))] Gary is cold.[(triple3)] Gary is furry.[(triple4)] Gary is nice.[(triple5)] Gary is red.[(triple6)] Gary is white.[(triple7 OR ((triple3) -> rule2))]