Bob is quiet. Charlie is furry. Dave is white. If someone is white then they are round. Quiet people are white. If Bob is rough and Bob is not round then Bob is not green. All quiet, white people are green. If someone is rough and not white then they are green. White, rough people are green. If someone is green and not round then they are young. If someone is green then they are young.
Dave is white.
@0: Bob is quiet.[(triple1)] Charlie is furry.[(triple2)] Dave is white.[(triple3)] @1: Bob is white.[(((triple1) -> rule2))] Dave is round.[(((triple3) -> rule1))] @2: Bob is green.[(((triple1 ((triple1) -> rule2)) -> rule4))] Bob is round.[(((((triple1) -> rule2)) -> rule1))] @3: Bob is young.[(((((triple1 ((triple1) -> rule2)) -> rule4)) -> rule8))]