Bob is round. Charlie is red. Harry is white. White, rough people are green. If Harry is white then Harry is red. All round, big people are white. Red people are furry. All red people are big. Red, big people are green.
Harry is not furry.
@0: Bob is round.[(triple1)] Charlie is red.[(triple2)] Harry is white.[(triple3)] @1: Charlie is big.[(((triple2) -> rule5))] Charlie is furry.[(((triple2) -> rule4))] Harry is red.[(((triple3) -> rule2))] @2: Charlie is green.[(((triple2 ((triple2) -> rule5)) -> rule6))] Harry is big.[(((((triple3) -> rule2)) -> rule5))] Harry is furry.[(((((triple3) -> rule2)) -> rule4))] @3: Harry is green.[(((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule5)) -> rule6))]