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