Anne is big. Anne is blue. Anne is furry. Anne is red. Anne is smart. Anne is white. Anne is young. Harry is big. Harry is blue. Harry is not furry. Harry is red. Harry is not smart. Harry is white. Harry is young. If Harry is smart then Harry is red. If someone is white and not blue then they are not big.
Anne is not smart.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is red.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Harry is big.[(triple8)] Harry is blue.[(triple9)] Harry is not furry.[(triple10)] Harry is not smart.[(triple12)] Harry is red.[(triple11)] Harry is white.[(triple13)] Harry is young.[(triple14)]