Anne is big. Bob is furry. Erin is green. If something is green then it is red. If Erin is rough and Erin is green then Erin is red. If something is big and furry then it is green.
Bob is rough.
@0: Anne is big.[(triple1)] Bob is furry.[(triple2)] Erin is green.[(triple3)] @1: Erin is red.[(((triple3) -> rule1))]