Dave is blue. Dave is not green. Dave is not nice. Dave is not rough. Dave is round. Dave is not young. Erin is round. Erin is not white. Erin is not young. Gary is not round. Gary is white. Gary is young. All green things are rough. If Gary is round and Gary is green then Gary is white. All nice, white things are blue. If something is nice then it is not green. If Gary is green then Gary is not round. If Dave is nice and Dave is not blue then Dave is not young. Green, white things are not young. If something is round and not blue then it is young.
Gary is not rough.
@0: Dave is blue.[(triple1)] Dave is not green.[(triple2)] Dave is not nice.[(triple3)] Dave is not rough.[(triple4)] Dave is not young.[(triple6)] Dave is round.[(triple5)] Erin is not white.[(triple8)] Erin is not young.[(triple9)] Erin is round.[(triple7)] Gary is not round.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12)]