Anne is blue. Anne is round. Anne is white. Dave is green. Dave is round. Fiona is blue. Fiona is smart. Round, green things are not rough. If something is green and not white then it is round.
Fiona is not green.
@0: Anne is blue.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Dave is green.[(triple4)] Dave is round.[(triple5)] Fiona is blue.[(triple6)] Fiona is smart.[(triple7)] @1: Dave is not rough.[(((triple5 triple4) -> rule1))]