Gary is cold. Gary is white. Gary is young. All rough things are not big. Young things are blue. If something is rough and big then it is not blue. Young, cold things are white. If something is rough then it is red. All cold, blue things are rough. If Gary is blue and Gary is not rough then Gary is white. If Gary is big and Gary is not young then Gary is not white.
Gary is cold.
@0: Gary is cold.[(triple1)] Gary is white.[(triple2 OR ((triple3 triple1) -> rule4))] Gary is young.[(triple3)] @1: Gary is blue.[(((triple3) -> rule2))] @2: Gary is rough.[(((triple1 ((triple3) -> rule2)) -> rule6))] @3: Gary is not big.[(((((triple1 ((triple3) -> rule2)) -> rule6)) -> rule1))] Gary is red.[(((((triple1 ((triple3) -> rule2)) -> rule6)) -> rule5))]