Bob is young. Erin is rough. Harry is red. All red people are young. If someone is young then they are not rough.
Bob is not rough.
@0: Bob is young.[(triple1)] Erin is rough.[(triple2)] Harry is red.[(triple3)] @1: Bob is not rough.[(((triple1) -> rule2))] Harry is young.[(((triple3) -> rule1))] @2: Harry is not rough.[(((((triple3) -> rule1)) -> rule2))]