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