Charlie is big. Charlie is smart. Erin is rough. If Charlie is smart and Charlie is blue then Charlie is cold. Smart things are nice. Big, nice things are cold.
Erin is not nice.
@0: Charlie is big.[(triple1)] Charlie is smart.[(triple2)] Erin is rough.[(triple3)] @1: Charlie is nice.[(((triple2) -> rule2))] @2: Charlie is cold.[(((triple1 ((triple2) -> rule2)) -> rule3))]