Bob is green. Charlie is young. Erin is smart. Smart people are rough. If someone is rough and smart then they are red. If someone is red then they are round.
Bob is not rough.
@0: Bob is green.[(triple1)] Charlie is young.[(triple2)] Erin is smart.[(triple3)] @1: Erin is rough.[(((triple3) -> rule1))] @2: Erin is red.[(((((triple3) -> rule1) triple3) -> rule2))] @3: Erin is round.[(((((((triple3) -> rule1) triple3) -> rule2)) -> rule3))]