Anne is furry. Anne is red. Anne is white. Erin is furry. Erin is nice. Erin is red. Erin is smart. Erin is white. Fiona is red. Fiona is round. Fiona is smart. Fiona is white. Harry is cold. Harry is furry. Harry is smart. Harry is white. If someone is white then they are furry. If Anne is white then Anne is smart. Cold people are smart. All furry people are smart. Furry, round people are white. Furry people are cold. Furry, red people are smart. If Erin is furry and Erin is cold then Erin is white.
Anne is not nice.
@0: Anne is furry.[(triple1 OR ((triple3) -> rule1))] Anne is red.[(triple2)] Anne is white.[(triple3)] Erin is furry.[(triple4 OR ((triple8) -> rule1))] Erin is nice.[(triple5)] Erin is red.[(triple6)] Erin is smart.[(triple7 OR ((triple4) -> rule4) OR ((triple4 triple6) -> rule7) OR ((((triple4) -> rule6)) -> rule3) OR ((((triple8) -> rule1)) -> rule4) OR ((((triple8) -> rule1) triple6) -> rule7) OR ((((((triple8) -> rule1)) -> rule6)) -> rule3))] Erin is white.[(triple8 OR ((triple4 ((triple4) -> rule6)) -> rule8))] Fiona is red.[(triple9)] Fiona is round.[(triple10)] Fiona is smart.[(triple11 OR ((((triple12) -> rule1)) -> rule4) OR ((((triple12) -> rule1) triple9) -> rule7) OR ((((((triple12) -> rule1)) -> rule6)) -> rule3))] Fiona is white.[(triple12)] Harry is cold.[(triple13 OR ((triple14) -> rule6) OR ((((triple16) -> rule1)) -> rule6))] Harry is furry.[(triple14 OR ((triple16) -> rule1))] Harry is smart.[(triple15 OR ((triple13) -> rule3) OR ((triple14) -> rule4) OR ((((triple14) -> rule6)) -> rule3) OR ((((triple16) -> rule1)) -> rule4) OR ((((((triple16) -> rule1)) -> rule6)) -> rule3))] Harry is white.[(triple16)] @1: Anne is cold.[(((triple1) -> rule6) OR ((((triple3) -> rule1)) -> rule6))] Anne is smart.[(((triple1) -> rule4) OR ((triple3) -> rule2) OR ((triple1 triple2) -> rule7) OR ((((triple1) -> rule6)) -> rule3) OR ((((triple3) -> rule1)) -> rule4) OR ((((triple3) -> rule1) triple2) -> rule7) OR ((((((triple3) -> rule1)) -> rule6)) -> rule3))] Erin is cold.[(((triple4) -> rule6) OR ((((triple8) -> rule1)) -> rule6))] Fiona is furry.[(((triple12) -> rule1))] @2: Fiona is cold.[(((((triple12) -> rule1)) -> rule6))]