Anne is red. Anne is smart. Dave is big. Dave is blue. Dave is furry. Dave is red. Dave is smart. Dave is white. Erin is not big. Erin is furry. Erin is not smart. Gary is blue. If something is quiet then it is not blue. If something is red and not furry then it is big.
Anne is not smart.
@0: Anne is red.[(triple1)] Anne is smart.[(triple2)] Dave is big.[(triple3)] Dave is blue.[(triple4)] Dave is furry.[(triple5)] Dave is red.[(triple6)] Dave is smart.[(triple7)] Dave is white.[(triple8)] Erin is furry.[(triple10)] Erin is not big.[(triple9)] Erin is not smart.[(triple11)] Gary is blue.[(triple12)]