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 not round.
@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))]