Dave is kind. Dave is nice. Dave is not quiet. Dave is not rough. Dave is smart. Dave is young. Erin is kind. Erin is not quiet. Erin is rough. Fiona is kind. Fiona is rough. Fiona is smart. Gary is quiet. Gary is not smart. Gary is young. If Gary is furry and Gary is smart then Gary is not nice. If something is nice and not kind then it is not quiet. If Fiona is nice and Fiona is rough then Fiona is not furry.
Dave is rough.
@0: Dave is kind.[(triple1)] Dave is nice.[(triple2)] Dave is not quiet.[(triple3)] Dave is not rough.[(triple4)] Dave is smart.[(triple5)] Dave is young.[(triple6)] Erin is kind.[(triple7)] Erin is not quiet.[(triple8)] Erin is rough.[(triple9)] Fiona is kind.[(triple10)] Fiona is rough.[(triple11)] Fiona is smart.[(triple12)] Gary is not smart.[(triple14)] Gary is quiet.[(triple13)] Gary is young.[(triple15)]