Charlie is kind. Charlie is red. Dave is big. Dave is blue. Dave is red. Dave is white. Dave is young. Young people are rough.
Charlie is not rough.
@0: Charlie is kind.[(triple1)] Charlie is red.[(triple2)] Dave is big.[(triple3)] Dave is blue.[(triple4)] Dave is red.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)] @1: Dave is rough.[(((triple7) -> rule1))]