Erin is furry. Erin is green. Erin is not red. Erin is not rough. Erin is round. Erin is smart. Erin is white. Gary is furry. Gary is green. Gary is red. Gary is rough. Gary is round. Gary is not smart. Gary is not white. If something is rough and white then it is furry.
Erin is not rough.
@0: Erin is furry.[(triple1)] Erin is green.[(triple2)] Erin is not red.[(triple3)] Erin is not rough.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7)] Gary is furry.[(triple8)] Gary is green.[(triple9)] Gary is not smart.[(triple13)] Gary is not white.[(triple14)] Gary is red.[(triple10)] Gary is rough.[(triple11)] Gary is round.[(triple12)]