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