Anne is kind. Charlie is blue. Erin is kind. Harry is not nice. If something is nice then it is kind. If something is cold then it is not nice. All blue things are nice. All blue, kind things are not white. Nice things are smart. If Erin is quiet and Erin is cold then Erin is blue.
Harry is cold.
@0: Anne is kind.[(triple1)] Charlie is blue.[(triple2)] Erin is kind.[(triple3)] Harry is not nice.[(triple4)] @1: Charlie is nice.[(((triple2) -> rule3))] @2: Charlie is kind.[(((((triple2) -> rule3)) -> rule1))] Charlie is smart.[(((((triple2) -> rule3)) -> rule5))] @3: Charlie is not white.[(((triple2 ((((triple2) -> rule3)) -> rule1)) -> rule4))]