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