Bob is green. Charlie is red. Erin is kind. Round people are white. All white, red people are furry. If someone is red then they are round.
Charlie is green.
@0: Bob is green.[(triple1)] Charlie is red.[(triple2)] Erin is kind.[(triple3)] @1: Charlie is round.[(((triple2) -> rule3))] @2: Charlie is white.[(((((triple2) -> rule3)) -> rule1))] @3: Charlie is furry.[(((((((triple2) -> rule3)) -> rule1) triple2) -> rule2))]