Bob is nice. Bob is quiet. Bob is red. Bob is rough. Bob is young. Dave is blue. Dave is nice. Dave is rough. Dave is white. Dave is young. If Dave is quiet and Dave is rough then Dave is young. If something is young and nice then it is white.
Dave is not quiet.
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is young.[(triple5)] Dave is blue.[(triple6)] Dave is nice.[(triple7)] Dave is rough.[(triple8)] Dave is white.[(triple9 OR ((triple10 triple7) -> rule2))] Dave is young.[(triple10)] @1: Bob is white.[(((triple5 triple1) -> rule2))]