Anne is big. Anne is blue. Anne is not green. Anne is nice. Anne is round. Anne is not smart. Anne is young. Harry is big. Harry is not blue. Harry is green. Harry is nice. Harry is not round. Harry is not smart. Harry is young. If Harry is blue and Harry is green then Harry is young. All big, smart things are blue. If Anne is smart and Anne is nice then Anne is not green.
Anne is not smart.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is nice.[(triple4)] Anne is not green.[(triple3)] Anne is not smart.[(triple6)] Anne is round.[(triple5)] Anne is young.[(triple7)] Harry is big.[(triple8)] Harry is green.[(triple10)] Harry is nice.[(triple11)] Harry is not blue.[(triple9)] Harry is not round.[(triple12)] Harry is not smart.[(triple13)] Harry is young.[(triple14)]