Anne is furry. Anne is green. Anne is nice. Anne is round. Anne is smart. Anne is white. Anne is young. Erin is furry. Erin is white. Erin is young. Harry is furry. Harry is green. Harry is nice. Harry is round. Harry is not white. Harry is young. All smart, round people are furry. Nice, white people are round.
Anne is smart.
@0: Anne is furry.[(triple1 OR ((triple5 triple4) -> rule1) OR ((triple5 ((triple3 triple6) -> rule2)) -> rule1))] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is round.[(triple4 OR ((triple3 triple6) -> rule2))] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Erin is furry.[(triple8)] Erin is white.[(triple9)] Erin is young.[(triple10)] Harry is furry.[(triple11)] Harry is green.[(triple12)] Harry is nice.[(triple13)] Harry is not white.[(triple15)] Harry is round.[(triple14)] Harry is young.[(triple16)]