Anne is furry. Anne is nice. Anne is not rough. Anne is not smart. Bob is nice. Erin is furry. Gary is nice. If someone is smart then they are furry. All blue, smart people are furry. All smart, nice people are furry. If Erin is young then Erin is not smart. Blue, smart people are cold. If someone is young and smart then they are not cold. Smart people are not nice. If someone is cold and not blue then they are rough.
Anne is not furry.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is not rough.[(triple3)] Anne is not smart.[(triple4)] Bob is nice.[(triple5)] Erin is furry.[(triple6)] Gary is nice.[(triple7)]