Charlie is rough. Charlie is white. Dave is smart. White things are young. If Charlie is quiet then Charlie is white.
Dave is not young.
@0: Charlie is rough.[(triple1)] Charlie is white.[(triple2)] Dave is smart.[(triple3)] @1: Charlie is young.[(((triple2) -> rule1))]