Charlie is big. Erin is blue. Smart people are furry. All big people are blue. Smart, round people are furry. All blue people are green. If someone is green and blue then they are white. If someone is white then they are furry.
Charlie is smart.
@0: Charlie is big.[(triple1)] Erin is blue.[(triple2)] @1: Charlie is blue.[(((triple1) -> rule2))] Erin is green.[(((triple2) -> rule4))] @2: Charlie is green.[(((((triple1) -> rule2)) -> rule4))] Erin is white.[(((((triple2) -> rule4) triple2) -> rule5))] @3: Charlie is white.[(((((((triple1) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule5))] Erin is furry.[(((((((triple2) -> rule4) triple2) -> rule5)) -> rule6))] @4: Charlie is furry.[(((((((((triple1) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule5)) -> rule6))]