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.
Erin is not round.
@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))]