Anne is big. Anne is furry. Anne is kind. Anne is smart. Anne is white. Bob is kind. Bob is not white. Charlie is big. Charlie is not furry. Charlie is kind. Charlie is smart. Harry is furry. Harry is kind. Harry is nice. Harry is white. If someone is young then they are smart. If someone is white and not young then they are smart. If Charlie is kind and Charlie is young then Charlie is not nice. If someone is white and not young then they are kind. If someone is young and furry then they are not big. All young, smart people are big. If someone is white and not smart then they are furry. If Bob is not big then Bob is kind.
Anne is not furry.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5)] Bob is kind.[(triple6)] Bob is not white.[(triple7)] Charlie is big.[(triple8)] Charlie is kind.[(triple10)] Charlie is not furry.[(triple9)] Charlie is smart.[(triple11)] Harry is furry.[(triple12)] Harry is kind.[(triple13)] Harry is nice.[(triple14)] Harry is white.[(triple15)]