Anne is round. Anne is smart. Charlie is cold. Charlie is furry. Charlie is smart. Erin is kind. Fiona is white. If something is nice then it is cold. If Fiona is furry and Fiona is not kind then Fiona is nice. Cold things are smart. If something is furry then it is smart. If Erin is furry and Erin is nice then Erin is round. If something is smart and furry then it is white. If Charlie is smart then Charlie is nice. If something is smart and not nice then it is round.
Erin is nice.
@0: Anne is round.[(triple1)] Anne is smart.[(triple2)] Charlie is cold.[(triple3 OR ((((triple5) -> rule7)) -> rule1) OR ((((((triple4) -> rule4)) -> rule7)) -> rule1))] Charlie is furry.[(triple4)] Charlie is smart.[(triple5 OR ((triple3) -> rule3) OR ((triple4) -> rule4))] Erin is kind.[(triple6)] Fiona is white.[(triple7)] @1: Charlie is nice.[(((triple5) -> rule7) OR ((((triple3) -> rule3)) -> rule7) OR ((((triple4) -> rule4)) -> rule7))] Charlie is white.[(((triple5 triple4) -> rule6) OR ((((triple3) -> rule3) triple4) -> rule6) OR ((((triple4) -> rule4) triple4) -> rule6))]