Bob is white. Charlie is smart. Dave is not white. Gary is rough. White, big people are nice. If Charlie is rough then Charlie is smart. If Bob is big then Bob is young. Smart people are not white. Big, kind people are white. If someone is rough and nice then they are young. If Dave is not kind then Dave is not young. All young people are smart.
Bob is big.
@0: Bob is white.[(triple1)] Charlie is smart.[(triple2)] Dave is not white.[(triple3)] Gary is rough.[(triple4)] @1: Charlie is not white.[(((triple2) -> rule4))]