Bob is quiet. Bob is rough. Bob is young. Charlie is blue. Charlie is rough. Charlie is not white. Charlie is not young. Dave is quiet. Dave is red. Dave is rough. Dave is round. Dave is young. Round, blue things are white. Quiet, young things are blue.
Bob is not white.
@0: Bob is quiet.[(triple1)] Bob is rough.[(triple2)] Bob is young.[(triple3)] Charlie is blue.[(triple4)] Charlie is not white.[(triple6)] Charlie is not young.[(triple7)] Charlie is rough.[(triple5)] Dave is quiet.[(triple8)] Dave is red.[(triple9)] Dave is rough.[(triple10)] Dave is round.[(triple11)] Dave is young.[(triple12)] @1: Bob is blue.[(((triple1 triple3) -> rule2))] Dave is blue.[(((triple8 triple12) -> rule2))] @2: Dave is white.[(((triple11 ((triple8 triple12) -> rule2)) -> rule1))]