Bob is cold. Dave is round. Erin is nice. If something is rough then it is smart. If something is green then it is nice. Round things are rough.
Dave is round.
@0: Bob is cold.[(triple1)] Dave is round.[(triple2)] Erin is nice.[(triple3)] @1: Dave is rough.[(((triple2) -> rule3))] @2: Dave is smart.[(((((triple2) -> rule3)) -> rule1))]