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