Anne is big. Anne is not green. Anne is rough. Dave is kind. Dave is not nice. Fiona is big. Fiona is nice. If Dave is green then Dave is nice. Big people are nice. If Fiona is not smart and Fiona is not nice then Fiona is furry.
Anne is not green.
@0: Anne is big.[(triple1)] Anne is not green.[(triple2)] Anne is rough.[(triple3)] Dave is kind.[(triple4)] Dave is not nice.[(triple5)] Fiona is big.[(triple6)] Fiona is nice.[(triple7 OR ((triple6) -> rule2))] @1: Anne is nice.[(((triple1) -> rule2))]