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