Bob is big. Bob is not red. Bob is white. Dave is kind. Dave is red. Gary is red. Gary is white. If something is red and not big then it is not blue. If something is young then it is white. Big things are smart. All white things are smart. Kind things are young. If something is kind and not blue then it is young.
Dave is not white.
@0: Bob is big.[(triple1)] Bob is not red.[(triple2)] Bob is white.[(triple3)] Dave is kind.[(triple4)] Dave is red.[(triple5)] Gary is red.[(triple6)] Gary is white.[(triple7)] @1: Bob is smart.[(((triple1) -> rule3) OR ((triple3) -> rule4))] Dave is young.[(((triple4) -> rule5))] Gary is smart.[(((triple7) -> rule4))] @2: Dave is white.[(((((triple4) -> rule5)) -> rule2))] @3: Dave is smart.[(((((((triple4) -> rule5)) -> rule2)) -> rule4))]