Anne is big. Anne is furry. Anne is nice. Anne is round. Anne is white. Erin is blue. Erin is furry. Erin is nice. Erin is white. Harry is furry. Harry is nice. Harry is young. Blue people are nice. All big, white people are round.
Harry is blue.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is round.[(triple4 OR ((triple1 triple5) -> rule2))] Anne is white.[(triple5)] Erin is blue.[(triple6)] Erin is furry.[(triple7)] Erin is nice.[(triple8 OR ((triple6) -> rule1))] Erin is white.[(triple9)] Harry is furry.[(triple10)] Harry is nice.[(triple11)] Harry is young.[(triple12)]