Bob is furry. Dave is green. If something is green and furry then it is quiet. Green things are quiet. If something is green and smart then it is kind. If something is big and not green then it is kind. If something is green and white then it is big. If something is quiet then it is big. Big, green things are not white. If Bob is green then Bob is furry.
Bob is not furry.
@0: Bob is furry.[(triple1)] Dave is green.[(triple2)] @1: Dave is quiet.[(((triple2) -> rule2))] @2: Dave is big.[(((((triple2) -> rule2)) -> rule6))] @3: Dave is not white.[(((((((triple2) -> rule2)) -> rule6) triple2) -> rule7))]