Dave is big. Dave is not quiet. Dave is rough. Dave is white. Erin is blue. Erin is not nice. Erin is quiet. Erin is young. Harry is not blue. Harry is white. If something is nice and not big then it is young. If Harry is blue then Harry is quiet. If something is rough and not white then it is not quiet.
Dave is not big.
@0: Dave is big.[(triple1)] Dave is not quiet.[(triple2)] Dave is rough.[(triple3)] Dave is white.[(triple4)] Erin is blue.[(triple5)] Erin is not nice.[(triple6)] Erin is quiet.[(triple7)] Erin is young.[(triple8)] Harry is not blue.[(triple9)] Harry is white.[(triple10)]