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