Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is nice. Anne is red. Anne is round. Gary is blue. Gary is furry. Gary is green. All green, round people are blue. All round, red people are furry.
Gary is red.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple4 triple7) -> rule1))] Anne is furry.[(triple3 OR ((triple7 triple6) -> rule2))] Anne is green.[(triple4)] Anne is nice.[(triple5)] Anne is red.[(triple6)] Anne is round.[(triple7)] Gary is blue.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)]