Bob is cold. Dave is rough. Erin is kind. All kind people are round. If someone is round then they are big. All big people are rough.
Bob is rough.
@0: Bob is cold.[(triple1)] Dave is rough.[(triple2)] Erin is kind.[(triple3)] @1: Erin is round.[(((triple3) -> rule1))] @2: Erin is big.[(((((triple3) -> rule1)) -> rule2))] @3: Erin is rough.[(((((((triple3) -> rule1)) -> rule2)) -> rule3))]