Anne is cold. Anne is nice. Anne is round. Anne is smart. Anne is white. Fiona is blue. Gary is smart. If something is white then it is kind.
Fiona is not kind.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5)] Fiona is blue.[(triple6)] Gary is smart.[(triple7)] @1: Anne is kind.[(((triple5) -> rule1))]