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