Anne is blue. Anne is kind. Anne is nice. Fiona is blue. Fiona is furry. Fiona is green. Fiona is quiet. If Fiona is nice then Fiona is rough. If something is quiet then it is nice.
Fiona is not nice.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Fiona is blue.[(triple4)] Fiona is furry.[(triple5)] Fiona is green.[(triple6)] Fiona is quiet.[(triple7)] @1: Fiona is nice.[(((triple7) -> rule2))] @2: Fiona is rough.[(((((triple7) -> rule2)) -> rule1))]