Anne is smart. Erin is cold. Erin is not furry. Erin is nice. Erin is not red. Erin is smart. Erin is not white. If someone is nice and cold then they are not rough. All cold people are nice. Rough people are nice. If someone is white and furry then they are smart. If someone is nice and furry then they are smart. If Anne is furry and Anne is red then Anne is not white. All furry people are cold. If Anne is smart then Anne is furry.
Erin is not furry.
@0: Anne is smart.[(triple1)] Erin is cold.[(triple2)] Erin is nice.[(triple4 OR ((triple2) -> rule2))] Erin is not furry.[(triple3)] Erin is not red.[(triple5)] Erin is not white.[(triple7)] Erin is smart.[(triple6)] @1: Anne is furry.[(((triple1) -> rule8))] Erin is not rough.[(((triple4 triple2) -> rule1) OR ((((triple2) -> rule2) triple2) -> rule1))] @2: Anne is cold.[(((((triple1) -> rule8)) -> rule7))] @3: Anne is nice.[(((((((triple1) -> rule8)) -> rule7)) -> rule2))] @4: Anne is not rough.[(((((((((triple1) -> rule8)) -> rule7)) -> rule2) ((((triple1) -> rule8)) -> rule7)) -> rule1))]