Anne is furry. Anne is green. Anne is rough. Anne is young. Fiona is green. Fiona is kind. Fiona is young. Gary is furry. Gary is green. Gary is nice. If Fiona is furry and Fiona is kind then Fiona is nice.
Anne is not rough.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is rough.[(triple3)] Anne is young.[(triple4)] Fiona is green.[(triple5)] Fiona is kind.[(triple6)] Fiona is young.[(triple7)] Gary is furry.[(triple8)] Gary is green.[(triple9)] Gary is nice.[(triple10)]