Charlie is furry. Charlie is round. Dave is green. Dave is kind. Dave is rough. Dave is round. Fiona is green. Gary is green. Gary is rough. Gary is round. If Gary is big then Gary is rough.
Dave is not rough.
@0: Charlie is furry.[(triple1)] Charlie is round.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6)] Fiona is green.[(triple7)] Gary is green.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10)]