Anne is cold. Anne is furry. Anne is kind. Anne is quiet. Anne is rough. Anne is round. Anne is smart. Erin is kind. Erin is quiet. Erin is rough. Erin is round. Erin is smart. If something is quiet then it is furry. If Erin is quiet then Erin is kind. All cold things are smart. If Erin is kind and Erin is rough then Erin is round. Furry things are rough. If Anne is rough then Anne is round.
Anne is furry.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple4) -> rule1))] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5 OR ((triple2) -> rule5) OR ((((triple4) -> rule1)) -> rule5))] Anne is round.[(triple6 OR ((triple5) -> rule6) OR ((((triple2) -> rule5)) -> rule6) OR ((((((triple4) -> rule1)) -> rule5)) -> rule6))] Anne is smart.[(triple7 OR ((triple1) -> rule3))] Erin is kind.[(triple8 OR ((triple9) -> rule2))] Erin is quiet.[(triple9)] Erin is rough.[(triple10 OR ((((triple9) -> rule1)) -> rule5))] Erin is round.[(triple11 OR ((triple8 triple10) -> rule4) OR ((((triple9) -> rule2) triple10) -> rule4) OR ((triple8 ((((triple9) -> rule1)) -> rule5)) -> rule4) OR ((((triple9) -> rule2) ((((triple9) -> rule1)) -> rule5)) -> rule4))] Erin is smart.[(triple12)] @1: Erin is furry.[(((triple9) -> rule1))]