Anne is big. Anne is not green. Anne is not kind. Anne is rough. Dave is kind. Fiona is not kind. Harry is not green. Harry is not quiet. Harry is not red. Harry is not rough. If Dave is rough and Dave is not big then Dave is not kind. If something is blue then it is quiet.
Fiona is not quiet.
@0: Anne is big.[(triple1)] Anne is not green.[(triple2)] Anne is not kind.[(triple3)] Anne is rough.[(triple4)] Dave is kind.[(triple5)] Fiona is not kind.[(triple6)] Harry is not green.[(triple7)] Harry is not quiet.[(triple8)] Harry is not red.[(triple9)] Harry is not rough.[(triple10)]