Bob is blue. If Bob is blue and Bob is not green then Bob is not quiet. If Bob is quiet and Bob is blue then Bob is white. All smart things are quiet. All blue things are smart. If something is smart and not green then it is not blue. If something is quiet and not blue then it is nice. If Bob is not quiet then Bob is young. If something is green and not smart then it is white.
Bob is not smart.
@0: Bob is blue.[(triple1)] @1: Bob is smart.[(((triple1) -> rule4))] @2: Bob is quiet.[(((((triple1) -> rule4)) -> rule3))] @3: Bob is white.[(((((((triple1) -> rule4)) -> rule3) triple1) -> rule2))]