Anne is furry. Anne is nice. Anne is not rough. Dave is white. Erin is furry. Erin is green. Erin is rough. Erin is round. Erin is white. Gary is not cold. Gary is furry. Gary is not round. If Gary is not furry then Gary is green.
Gary is not green.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is not rough.[(triple3)] Dave is white.[(triple4)] Erin is furry.[(triple5)] Erin is green.[(triple6)] Erin is rough.[(triple7)] Erin is round.[(triple8)] Erin is white.[(triple9)] Gary is furry.[(triple11)] Gary is not cold.[(triple10)] Gary is not round.[(triple12)]