Bob is green. Erin is blue. Gary is green. Harry is kind. If something is blue then it is red. Round, red things are green. If Erin is red then Erin is round.
Bob is not blue.
@0: Bob is green.[(triple1)] Erin is blue.[(triple2)] Gary is green.[(triple3)] Harry is kind.[(triple4)] @1: Erin is red.[(((triple2) -> rule1))] @2: Erin is round.[(((((triple2) -> rule1)) -> rule3))] @3: Erin is green.[(((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule2))]