Charlie is big. Charlie is cold. Charlie is furry. Charlie is red. Charlie is rough. Charlie is round. Charlie is young. Gary is furry. Gary is rough. Gary is young. If something is rough then it is red. If something is round and big then it is red. All young, round things are big. If Charlie is young then Charlie is rough. If something is big then it is cold. If something is round and not red then it is not furry.
Gary is not big.
@0: Charlie is big.[(triple1 OR ((triple7 triple6) -> rule3))] Charlie is cold.[(triple2 OR ((triple1) -> rule5) OR ((((triple7 triple6) -> rule3)) -> rule5))] Charlie is furry.[(triple3)] Charlie is red.[(triple4 OR ((triple5) -> rule1) OR ((triple6 triple1) -> rule2) OR ((((triple7) -> rule4)) -> rule1) OR ((triple6 ((triple7 triple6) -> rule3)) -> rule2))] Charlie is rough.[(triple5 OR ((triple7) -> rule4))] Charlie is round.[(triple6)] Charlie is young.[(triple7)] Gary is furry.[(triple8)] Gary is rough.[(triple9)] Gary is young.[(triple10)] @1: Gary is red.[(((triple9) -> rule1))]