Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is smart. Anne is young. Gary is blue. Gary is nice. Gary is red. Gary is round. All nice, blue things are rough. If Gary is red then Gary is round.
Gary is not round.
@0: Anne is nice.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Anne is young.[(triple6)] Gary is blue.[(triple7)] Gary is nice.[(triple8)] Gary is red.[(triple9)] Gary is round.[(triple10 OR ((triple9) -> rule2))] @1: Gary is rough.[(((triple8 triple7) -> rule1))]