Dave is cold. Dave is kind. Erin is nice. If something is round then it is big. Kind things are cold. Nice things are kind.
Erin is not big.
@0: Dave is cold.[(triple1 OR ((triple2) -> rule2))] Dave is kind.[(triple2)] Erin is nice.[(triple3)] @1: Erin is kind.[(((triple3) -> rule3))] @2: Erin is cold.[(((((triple3) -> rule3)) -> rule2))]