Bob is big. Erin is kind. If Bob is green then Bob is big. If something is green and round then it is kind. Round things are green. White, green things are blue. If Erin is round and Erin is green then Erin is blue. If something is kind then it is round. All big things are blue. All white things are round.
Bob is not round.
@0: Bob is big.[(triple1)] Erin is kind.[(triple2)] @1: Bob is blue.[(((triple1) -> rule7))] Erin is round.[(((triple2) -> rule6))] @2: Erin is green.[(((((triple2) -> rule6)) -> rule3))] @3: Erin is blue.[(((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule3)) -> rule5))]