Bob is white. Charlie is not kind. Harry is furry. If Bob is not green then Bob is big. If Bob is white and Bob is round then Bob is big. If something is round then it is young. Green things are young. All furry things are young. Round things are furry. Kind things are furry. All white things are kind.
Charlie is round.
@0: Bob is white.[(triple1)] Charlie is not kind.[(triple2)] Harry is furry.[(triple3)] @1: Bob is kind.[(((triple1) -> rule8))] Harry is young.[(((triple3) -> rule5))] @2: Bob is furry.[(((((triple1) -> rule8)) -> rule7))] @3: Bob is young.[(((((((triple1) -> rule8)) -> rule7)) -> rule5))]