Dave is big. Dave is not blue. Dave is kind. Dave is nice. Dave is rough. Dave is not smart. Erin is big. Erin is kind. Erin is red. Gary is nice. Gary is red. Gary is rough. If Erin is nice then Erin is smart. If Gary is not kind then Gary is not red. If something is nice and not red then it is big.
Gary is smart.
@0: Dave is big.[(triple1)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is not blue.[(triple2)] Dave is not smart.[(triple6)] Dave is rough.[(triple5)] Erin is big.[(triple7)] Erin is kind.[(triple8)] Erin is red.[(triple9)] Gary is nice.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12)]