Bob is furry. If Bob is green then Bob is kind. If something is kind and not furry then it is not round. Young things are green. If something is furry then it is young. If Bob is white then Bob is round. If Bob is young then Bob is round.
Bob is white.
@0: Bob is furry.[(triple1)] @1: Bob is young.[(((triple1) -> rule4))] @2: Bob is green.[(((((triple1) -> rule4)) -> rule3))] Bob is round.[(((((triple1) -> rule4)) -> rule6))] @3: Bob is kind.[(((((((triple1) -> rule4)) -> rule3)) -> rule1))]