Anne is not smart. Erin is cold. Erin is green. Erin is kind. Erin is nice. Fiona is not green. Harry is cold. Kind things are smart. All white, nice things are smart. All cold things are round. Cold, green things are white. If something is white and not green then it is not cold. All round things are kind.
Erin is not smart.
@0: Anne is not smart.[(triple1)] Erin is cold.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4 OR ((((triple2) -> rule3)) -> rule6))] Erin is nice.[(triple5)] Fiona is not green.[(triple6)] Harry is cold.[(triple7)] @1: Erin is round.[(((triple2) -> rule3))] Erin is smart.[(((triple4) -> rule1) OR ((((triple2 triple3) -> rule4) triple5) -> rule2) OR ((((((triple2) -> rule3)) -> rule6)) -> rule1))] Erin is white.[(((triple2 triple3) -> rule4))] Harry is round.[(((triple7) -> rule3))] @2: Harry is kind.[(((((triple7) -> rule3)) -> rule6))] @3: Harry is smart.[(((((((triple7) -> rule3)) -> rule6)) -> rule1))]