Anne is green. Anne is not kind. Anne is red. Anne is rough. Anne is round. Bob is not green. Bob is round. Dave is green. Dave is kind. Dave is not red. Dave is rough. Dave is not round. Fiona is kind. Fiona is red. Fiona is rough. All quiet, rough things are round. If something is rough and not quiet then it is round. If Fiona is quiet and Fiona is green then Fiona is young. Quiet, young things are rough. All quiet things are kind. If something is rough and not quiet then it is not green.
Dave is red.
@0: Anne is green.[(triple1)] Anne is not kind.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Bob is not green.[(triple6)] Bob is round.[(triple7)] Dave is green.[(triple8)] Dave is kind.[(triple9)] Dave is not red.[(triple10)] Dave is not round.[(triple12)] Dave is rough.[(triple11)] Fiona is kind.[(triple13)] Fiona is red.[(triple14)] Fiona is rough.[(triple15)]