Bob is kind. Charlie is green. If something is green then it is kind. If something is kind and not rough then it is round. Green things are furry. Round things are green. If Bob is kind then Bob is round. If something is rough and not green then it is red.
Charlie is not green.
@0: Bob is kind.[(triple1)] Charlie is green.[(triple2)] @1: Bob is round.[(((triple1) -> rule5))] Charlie is furry.[(((triple2) -> rule3))] Charlie is kind.[(((triple2) -> rule1))] @2: Bob is green.[(((((triple1) -> rule5)) -> rule4))] @3: Bob is furry.[(((((((triple1) -> rule5)) -> rule4)) -> rule3))]