Dave is big. Dave is red. Dave is rough. Blue, young things are white. Young, red things are white. Red, kind things are white. If something is kind and red then it is rough. Kind things are young. All kind, rough things are white. Rough, big things are white. Young things are white.
Dave is not big.
@0: Dave is big.[(triple1)] Dave is red.[(triple2)] Dave is rough.[(triple3)] @1: Dave is white.[(((triple3 triple1) -> rule7))]