Anne is furry. Anne is green. Anne is red. Anne is not rough. Anne is round. Anne is young. Gary is red. Gary is not rough. Gary is round. Gary is white. All rough things are round. All red things are round. Green things are young.
Gary is green.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is not rough.[(triple4)] Anne is red.[(triple3)] Anne is round.[(triple5 OR ((triple3) -> rule2))] Anne is young.[(triple6 OR ((triple2) -> rule3))] Gary is not rough.[(triple8)] Gary is red.[(triple7)] Gary is round.[(triple9 OR ((triple7) -> rule2))] Gary is white.[(triple10)]