Anne is red. Erin is nice. Erin is quiet. All green, cold things are not kind. If something is quiet and nice then it is cold. Smart, nice things are cold. All kind things are cold. Quiet, green things are nice. If Erin is cold then Erin is green. Green things are smart. Cold things are quiet.
Erin is not nice.
@0: Anne is red.[(triple1)] Erin is nice.[(triple2)] Erin is quiet.[(triple3)] @1: Erin is cold.[(((triple3 triple2) -> rule2))] @2: Erin is green.[(((((triple3 triple2) -> rule2)) -> rule6))] @3: Erin is not kind.[(((((((triple3 triple2) -> rule2)) -> rule6) ((triple3 triple2) -> rule2)) -> rule1))] Erin is smart.[(((((((triple3 triple2) -> rule2)) -> rule6)) -> rule7))]