Anne is red. Erin is blue. Erin is furry. Erin is kind. Erin is red. Erin is round. Erin is smart. Erin is young. Harry is blue. Harry is furry. Harry is kind. Harry is round. All smart people are kind. Red people are round. If someone is young and furry then they are smart.
Erin is round.
@0: Anne is red.[(triple1)] Erin is blue.[(triple2)] Erin is furry.[(triple3)] Erin is kind.[(triple4 OR ((triple7) -> rule1) OR ((((triple8 triple3) -> rule3)) -> rule1))] Erin is red.[(triple5)] Erin is round.[(triple6 OR ((triple5) -> rule2))] Erin is smart.[(triple7 OR ((triple8 triple3) -> rule3))] Erin is young.[(triple8)] Harry is blue.[(triple9)] Harry is furry.[(triple10)] Harry is kind.[(triple11)] Harry is round.[(triple12)] @1: Anne is round.[(((triple1) -> rule2))]