Bob is not rough. Erin is smart. Harry is green. If Erin is rough and Erin is not smart then Erin is furry. If someone is green then they are furry.
Erin is smart.
@0: Bob is not rough.[(triple1)] Erin is smart.[(triple2)] Harry is green.[(triple3)] @1: Harry is furry.[(((triple3) -> rule2))]