Bob is quiet. Bob is smart. Charlie is quiet. Charlie is smart. Dave is nice. Dave is quiet. Dave is white. If something is young then it is quiet. If something is kind then it is smart. If something is smart and green then it is kind. If Charlie is young and Charlie is white then Charlie is quiet. If something is quiet and white then it is kind. Quiet, young things are kind.
Bob is white.
@0: Bob is quiet.[(triple1)] Bob is smart.[(triple2)] Charlie is quiet.[(triple3)] Charlie is smart.[(triple4)] Dave is nice.[(triple5)] Dave is quiet.[(triple6)] Dave is white.[(triple7)] @1: Dave is kind.[(((triple6 triple7) -> rule5))] @2: Dave is smart.[(((((triple6 triple7) -> rule5)) -> rule2))]