Bob is nice. Dave is nice. If Dave is young then Dave is blue. If Dave is nice then Dave is young. If Dave is blue then Dave is big. If something is red and not young then it is not smart. All smart things are blue. If something is big and not kind then it is not blue. If something is big then it is blue. Kind, red things are not blue.
Bob is not blue.
@0: Bob is nice.[(triple1)] Dave is nice.[(triple2)] @1: Dave is young.[(((triple2) -> rule2))] @2: Dave is blue.[(((((triple2) -> rule2)) -> rule1))] @3: Dave is big.[(((((((triple2) -> rule2)) -> rule1)) -> rule3))]