Anne is green. Bob is white. Fiona is green. If Bob is round then Bob is furry. If something is big then it is round. Round, blue things are red. All furry things are green. All round, big things are blue. All white things are round.
Bob is round.
@0: Anne is green.[(triple1)] Bob is white.[(triple2)] Fiona is green.[(triple3)] @1: Bob is round.[(((triple2) -> rule6))] @2: Bob is furry.[(((((triple2) -> rule6)) -> rule1))] @3: Bob is green.[(((((((triple2) -> rule6)) -> rule1)) -> rule4))]