Dave is white. Fiona is cold. Fiona is white. If something is green then it is white. If Fiona is white then Fiona is nice. If something is nice and big then it is kind. If something is cold and white then it is blue. Cold, nice things are white. If Dave is cold and Dave is blue then Dave is green. All green, cold things are nice. If something is cold and blue then it is big.
Dave is not green.
@0: Dave is white.[(triple1)] Fiona is cold.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is blue.[(((triple2 triple3) -> rule4))] Fiona is nice.[(((triple3) -> rule2))] @2: Fiona is big.[(((triple2 ((triple2 triple3) -> rule4)) -> rule8))] @3: Fiona is kind.[(((((triple3) -> rule2) ((triple2 ((triple2 triple3) -> rule4)) -> rule8)) -> rule3))]