Anne is big. Anne is blue. Anne is furry. Anne is kind. Bob is not furry. Bob is kind. Charlie is big. Charlie is blue. Charlie is not furry. Charlie is kind. Charlie is nice. Charlie is rough. Harry is furry. Harry is not kind. Harry is nice. Harry is not quiet. If someone is quiet and blue then they are nice. If Anne is rough then Anne is blue. If someone is big and not quiet then they are rough.
Bob is not rough.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is kind.[(triple4)] Bob is kind.[(triple6)] Bob is not furry.[(triple5)] Charlie is big.[(triple7)] Charlie is blue.[(triple8)] Charlie is kind.[(triple10)] Charlie is nice.[(triple11)] Charlie is not furry.[(triple9)] Charlie is rough.[(triple12)] Harry is furry.[(triple13)] Harry is nice.[(triple15)] Harry is not kind.[(triple14)] Harry is not quiet.[(triple16)]