Anne is blue. Anne is nice. Anne is rough. Anne is white. Bob is cold. Bob is not furry. Bob is not smart. Bob is white. Harry is cold. Harry is nice. Harry is rough. Harry is white. If someone is smart and cold then they are furry. If Anne is smart then Anne is not nice. If someone is nice and not cold then they are not blue.
Bob is rough.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3)] Anne is white.[(triple4)] Bob is cold.[(triple5)] Bob is not furry.[(triple6)] Bob is not smart.[(triple7)] Bob is white.[(triple8)] Harry is cold.[(triple9)] Harry is nice.[(triple10)] Harry is rough.[(triple11)] Harry is white.[(triple12)]