Anne is white. Dave is green. Fiona is green. All white things are not green. If Anne is rough then Anne is not big. All rough things are not cold. White things are rough. All smart, rough things are white. If something is rough and big then it is white.
Fiona is green.
@0: Anne is white.[(triple1)] Dave is green.[(triple2)] Fiona is green.[(triple3)] @1: Anne is not green.[(((triple1) -> rule1))] Anne is rough.[(((triple1) -> rule4))] @2: Anne is not big.[(((((triple1) -> rule4)) -> rule2))] Anne is not cold.[(((((triple1) -> rule4)) -> rule3))]