Bob is round. If something is quiet then it is blue. If something is green then it is quiet. If something is round then it is green. If Bob is white and Bob is green then Bob is round. If something is quiet then it is green. If Bob is blue then Bob is quiet.
Bob is not furry.
@0: Bob is round.[(triple1)] @1: Bob is green.[(((triple1) -> rule3))] @2: Bob is quiet.[(((((triple1) -> rule3)) -> rule2))] @3: Bob is blue.[(((((((triple1) -> rule3)) -> rule2)) -> rule1))]