Anne is not green. Anne is nice. Anne is red. Anne is not rough. Anne is young. Bob is nice. Bob is not smart. Bob is young. Fiona is nice. Fiona is not red. Fiona is smart. Fiona is young. Harry is rough. Harry is smart. Harry is white. If Fiona is smart and Fiona is not nice then Fiona is young.
Fiona is not green.
@0: Anne is nice.[(triple2)] Anne is not green.[(triple1)] Anne is not rough.[(triple4)] Anne is red.[(triple3)] Anne is young.[(triple5)] Bob is nice.[(triple6)] Bob is not smart.[(triple7)] Bob is young.[(triple8)] Fiona is nice.[(triple9)] Fiona is not red.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple12)] Harry is rough.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)]