Erin is not blue. Erin is not cold. Erin is not furry. Erin is green. Erin is quiet. Erin is rough. Erin is smart. Gary is blue. Gary is cold. Gary is smart. If something is quiet and cold then it is smart. If something is cold and green then it is not furry. If Erin is rough and Erin is blue then Erin is not smart. If Erin is rough and Erin is furry then Erin is smart. If Gary is green and Gary is rough then Gary is blue. If something is cold and quiet then it is rough.
Gary is not rough.
@0: Erin is green.[(triple4)] Erin is not blue.[(triple1)] Erin is not cold.[(triple2)] Erin is not furry.[(triple3)] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Erin is smart.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is smart.[(triple10)]