Anne is white. Bob is young. Fiona is red. Red things are cold. If something is young then it is green. All white things are red. If Fiona is cold then Fiona is smart. If something is young and white then it is green. If Anne is red and Anne is smart then Anne is nice. If something is young and white then it is cold. Red things are white.
Anne is not nice.
@0: Anne is white.[(triple1)] Bob is young.[(triple2)] Fiona is red.[(triple3)] @1: Anne is red.[(((triple1) -> rule3))] Bob is green.[(((triple2) -> rule2))] Fiona is cold.[(((triple3) -> rule1))] Fiona is white.[(((triple3) -> rule8))] @2: Anne is cold.[(((((triple1) -> rule3)) -> rule1))] Fiona is smart.[(((((triple3) -> rule1)) -> rule4))]