Anne is big. Anne is blue. Anne is kind. Anne is nice. Anne is young. Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is not nice. Erin is big. Erin is not blue. Erin is cold. Erin is kind. Erin is not nice. Erin is young. If something is furry and nice then it is not big. If Bob is nice and Bob is big then Bob is kind. If Erin is not furry then Erin is not blue.
Bob is not furry.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is young.[(triple5)] Bob is blue.[(triple6)] Bob is cold.[(triple7)] Bob is furry.[(triple8)] Bob is kind.[(triple9)] Bob is not nice.[(triple10)] Erin is big.[(triple11)] Erin is cold.[(triple13)] Erin is kind.[(triple14)] Erin is not blue.[(triple12)] Erin is not nice.[(triple15)] Erin is young.[(triple16)]