Anne is big. Anne is furry. Anne is green. Anne is nice. Anne is red. Anne is round. Anne is young. Gary is big. Gary is furry. Gary is green. Gary is nice. Gary is red. Gary is round. Gary is young. If someone is red then they are green. If someone is green then they are round.
Anne is not nice.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple5) -> rule1))] Anne is nice.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6 OR ((triple3) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] Anne is young.[(triple7)] Gary is big.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10 OR ((triple12) -> rule1))] Gary is nice.[(triple11)] Gary is red.[(triple12)] Gary is round.[(triple13 OR ((triple10) -> rule2) OR ((((triple12) -> rule1)) -> rule2))] Gary is young.[(triple14)]