Gary is blue. Gary is cold. Gary is furry. Gary is nice. Gary is rough. Gary is round. Gary is young. If Gary is young then Gary is blue. If Gary is furry then Gary is rough. If something is young then it is blue. Young, round things are rough. Cold things are round. All young, cold things are blue.
Gary is cold.
@0: Gary is blue.[(triple1 OR ((triple7) -> rule1) OR ((triple7) -> rule3) OR ((triple7 triple2) -> rule6))] Gary is cold.[(triple2)] Gary is furry.[(triple3)] Gary is nice.[(triple4)] Gary is rough.[(triple5 OR ((triple3) -> rule2) OR ((triple7 triple6) -> rule4) OR ((triple7 ((triple2) -> rule5)) -> rule4))] Gary is round.[(triple6 OR ((triple2) -> rule5))] Gary is young.[(triple7)]