Dave is big. Dave is blue. Dave is green. Dave is kind. Dave is quiet. Dave is round. Erin is young. If Erin is blue then Erin is young.
Dave is not green.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is quiet.[(triple5)] Dave is round.[(triple6)] Erin is young.[(triple7)]