Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is round. Harry is furry. Harry is green. Harry is kind. Harry is nice. Harry is quiet. Harry is red. Harry is round. All quiet things are kind. All kind, quiet things are green. If something is nice then it is furry. All quiet, round things are green. All furry, round things are green. Green things are round.
Erin is red.
@0: Erin is furry.[(triple1 OR ((triple4) -> rule3))] Erin is green.[(triple2 OR ((triple1 triple5) -> rule5) OR ((((triple4) -> rule3) triple5) -> rule5))] Erin is kind.[(triple3)] Erin is nice.[(triple4)] Erin is round.[(triple5 OR ((triple2) -> rule6))] Harry is furry.[(triple6 OR ((triple9) -> rule3))] Harry is green.[(triple7 OR ((triple10 triple12) -> rule4) OR ((triple6 triple12) -> rule5) OR ((triple8 triple10) -> rule2) OR ((((triple10) -> rule1) triple10) -> rule2) OR ((((triple9) -> rule3) triple12) -> rule5))] Harry is kind.[(triple8 OR ((triple10) -> rule1))] Harry is nice.[(triple9)] Harry is quiet.[(triple10)] Harry is red.[(triple11)] Harry is round.[(triple12 OR ((triple7) -> rule6) OR ((((triple8 triple10) -> rule2)) -> rule6) OR ((((((triple10) -> rule1) triple10) -> rule2)) -> rule6))]