Charlie is quiet. Charlie is young. Dave is kind. Dave is quiet. Dave is smart. Dave is not white. Dave is young. If someone is quiet and not kind then they are not white. If someone is young then they are big. If Charlie is not quiet then Charlie is big.
Dave is not white.
@0: Charlie is quiet.[(triple1)] Charlie is young.[(triple2)] Dave is kind.[(triple3)] Dave is not white.[(triple6)] Dave is quiet.[(triple4)] Dave is smart.[(triple5)] Dave is young.[(triple7)] @1: Charlie is big.[(((triple2) -> rule2))] Dave is big.[(((triple7) -> rule2))]