Anne is not big. Anne is blue. Anne is rough. Anne is round. Gary is not big. Gary is blue. Gary is rough. If something is cold and nice then it is young. If Gary is rough and Gary is round then Gary is young. If something is cold then it is round. All nice things are round. If something is cold and not nice then it is not rough. If Gary is not big then Gary is cold.
Gary is round.
@0: Anne is blue.[(triple2)] Anne is not big.[(triple1)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Gary is blue.[(triple6)] Gary is not big.[(triple5)] Gary is rough.[(triple7)] @1: Gary is cold.[(((triple5) -> rule6))] @2: Gary is round.[(((((triple5) -> rule6)) -> rule3))] @3: Gary is young.[(((triple7 ((((triple5) -> rule6)) -> rule3)) -> rule2))]