Gary is big. Gary is nice. Gary is rough. Smart things are big. All cold things are round. Nice things are young. If something is young then it is round. All nice things are cold. If something is nice and young then it is round.
Gary is not big.
@0: Gary is big.[(triple1)] Gary is nice.[(triple2)] Gary is rough.[(triple3)] @1: Gary is cold.[(((triple2) -> rule5))] Gary is young.[(((triple2) -> rule3))] @2: Gary is round.[(((((triple2) -> rule3)) -> rule4) OR ((((triple2) -> rule5)) -> rule2) OR ((triple2 ((triple2) -> rule3)) -> rule6))]