Anne is smart. Charlie is cold. Fiona is kind. Harry is not cold. Nice people are furry. All smart people are cold. All furry, kind people are cold. If someone is cold then they are not nice. If Anne is smart and Anne is cold then Anne is furry. If Anne is kind and Anne is cold then Anne is smart.
Charlie is not furry.
@0: Anne is smart.[(triple1)] Charlie is cold.[(triple2)] Fiona is kind.[(triple3)] Harry is not cold.[(triple4)] @1: Anne is cold.[(((triple1) -> rule2))] Charlie is not nice.[(((triple2) -> rule4))] @2: Anne is furry.[(((triple1 ((triple1) -> rule2)) -> rule5))] Anne is not nice.[(((((triple1) -> rule2)) -> rule4))]