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