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