Bob is smart. Fiona is green. Harry is quiet. If something is green and cold then it is blue. All cold things are white. If Fiona is green and Fiona is nice then Fiona is cold. If something is blue then it is quiet. All quiet, blue things are green. If something is white then it is cold. If something is cold then it is nice. If Harry is quiet then Harry is white.
Fiona is not green.
@0: Bob is smart.[(triple1)] Fiona is green.[(triple2)] Harry is quiet.[(triple3)] @1: Harry is white.[(((triple3) -> rule8))] @2: Harry is cold.[(((((triple3) -> rule8)) -> rule6))] @3: Harry is nice.[(((((((triple3) -> rule8)) -> rule6)) -> rule7))]