Bob is young. All young people are green. If someone is smart and not round then they are red. Green people are red. If Bob is green and Bob is red then Bob is furry. If someone is round then they are not furry. If someone is red then they are furry. Round people are furry. If someone is smart then they are not young.
Bob is not young.
@0: Bob is young.[(triple1)] @1: Bob is green.[(((triple1) -> rule1))] @2: Bob is red.[(((((triple1) -> rule1)) -> rule3))] @3: Bob is furry.[(((((((triple1) -> rule1)) -> rule3)) -> rule6) OR ((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule4))]