Anne is big. Anne is furry. Anne is rough. Anne is smart. Bob is furry. Erin is blue. Erin is cold. Erin is furry. Erin is nice. Gary is blue. Gary is cold. Gary is rough. If Bob is smart then Bob is big.
Erin is not blue.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Bob is furry.[(triple5)] Erin is blue.[(triple6)] Erin is cold.[(triple7)] Erin is furry.[(triple8)] Erin is nice.[(triple9)] Gary is blue.[(triple10)] Gary is cold.[(triple11)] Gary is rough.[(triple12)]