Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is quiet. Gary is red. Gary is round. Cold things are blue. All big things are red.
Gary is cold.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2 OR ((triple3) -> rule1))] Gary is cold.[(triple3)] Gary is furry.[(triple4)] Gary is quiet.[(triple5)] Gary is red.[(triple6 OR ((triple1) -> rule2))] Gary is round.[(triple7)]