Anne is big. Anne is green. Anne is kind. Anne is nice. Anne is rough. Fiona is big. Fiona is blue. Fiona is kind. Fiona is red. Fiona is not rough. If something is nice and not rough then it is not green. Kind things are nice.
Anne is not blue.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple3) -> rule2))] Anne is rough.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is kind.[(triple8)] Fiona is not rough.[(triple10)] Fiona is red.[(triple9)] @1: Fiona is nice.[(((triple8) -> rule2))] @2: Fiona is not green.[(((((triple8) -> rule2) triple10) -> rule1))]