Anne is cold. Anne is furry. Anne is quiet. Anne is round. Erin is cold. Erin is quiet. Erin is red. Erin is round. Harry is cold. Harry is kind. Harry is quiet. Harry is red. If someone is quiet then they are round. All cold people are round. All kind, red people are quiet. Big, quiet people are round. If someone is red then they are big. If Harry is round then Harry is furry. All kind people are big. If Erin is furry then Erin is quiet.
Erin is round.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4 OR ((triple1) -> rule2) OR ((triple3) -> rule1))] Erin is cold.[(triple5)] Erin is quiet.[(triple6)] Erin is red.[(triple7)] Erin is round.[(triple8 OR ((triple5) -> rule2) OR ((triple6) -> rule1) OR ((((triple7) -> rule5) triple6) -> rule4))] Harry is cold.[(triple9)] Harry is kind.[(triple10)] Harry is quiet.[(triple11 OR ((triple10 triple12) -> rule3))] Harry is red.[(triple12)] @1: Erin is big.[(((triple7) -> rule5))] Harry is big.[(((triple10) -> rule7) OR ((triple12) -> rule5))] Harry is round.[(((triple11) -> rule1) OR ((triple9) -> rule2) OR ((((triple10 triple12) -> rule3)) -> rule1) OR ((((triple10) -> rule7) triple11) -> rule4) OR ((((triple12) -> rule5) triple11) -> rule4) OR ((((triple10) -> rule7) ((triple10 triple12) -> rule3)) -> rule4) OR ((((triple12) -> rule5) ((triple10 triple12) -> rule3)) -> rule4))] @2: Harry is furry.[(((((triple11) -> rule1)) -> rule6) OR ((((triple9) -> rule2)) -> rule6) OR ((((((triple10 triple12) -> rule3)) -> rule1)) -> rule6) OR ((((((triple10) -> rule7) triple11) -> rule4)) -> rule6) OR ((((((triple12) -> rule5) triple11) -> rule4)) -> rule6) OR ((((((triple10) -> rule7) ((triple10 triple12) -> rule3)) -> rule4)) -> rule6) OR ((((((triple12) -> rule5) ((triple10 triple12) -> rule3)) -> rule4)) -> rule6))]