Anne is nice. Bob is cold. Charlie is nice. Harry is green. Furry, cold things are not nice. If something is smart and not round then it is nice. Smart things are not furry. Cold things are red. Furry things are not red. If something is nice then it is cold. If something is red then it is green. If Harry is not smart then Harry is cold.
Harry is not red.
@0: Anne is nice.[(triple1)] Bob is cold.[(triple2)] Charlie is nice.[(triple3)] Harry is green.[(triple4)] @1: Anne is cold.[(((triple1) -> rule6))] Bob is red.[(((triple2) -> rule4))] Charlie is cold.[(((triple3) -> rule6))] @2: Anne is red.[(((((triple1) -> rule6)) -> rule4))] Bob is green.[(((((triple2) -> rule4)) -> rule7))] Charlie is red.[(((((triple3) -> rule6)) -> rule4))] @3: Anne is green.[(((((((triple1) -> rule6)) -> rule4)) -> rule7))] Charlie is green.[(((((((triple3) -> rule6)) -> rule4)) -> rule7))]