Anne is furry. Anne is not smart. Anne is young. Bob is furry. Bob is quiet. Bob is red. Bob is smart. Dave is furry. Dave is red. Dave is smart. Erin is cold. Erin is not young. If Erin is quiet and Erin is round then Erin is not cold. If Bob is not smart then Bob is furry.
Dave is red.
@0: Anne is furry.[(triple1)] Anne is not smart.[(triple2)] Anne is young.[(triple3)] Bob is furry.[(triple4)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Bob is smart.[(triple7)] Dave is furry.[(triple8)] Dave is red.[(triple9)] Dave is smart.[(triple10)] Erin is cold.[(triple11)] Erin is not young.[(triple12)]