Charlie is furry. Erin is big. Harry is green. If Harry is big and Harry is red then Harry is blue. Big things are red. Round, furry things are green. If Harry is green then Harry is big. Blue, green things are furry. If Erin is blue and Erin is green then Erin is red.
Charlie is not green.
@0: Charlie is furry.[(triple1)] Erin is big.[(triple2)] Harry is green.[(triple3)] @1: Erin is red.[(((triple2) -> rule2))] Harry is big.[(((triple3) -> rule4))] @2: Harry is red.[(((((triple3) -> rule4)) -> rule2))] @3: Harry is blue.[(((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule2)) -> rule1))] @4: Harry is furry.[(((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule2)) -> rule1) triple3) -> rule5))]