Charlie is smart. Dave is green. Erin is rough. If someone is smart then they are big. Quiet people are cold. If someone is big then they are cold.
Dave is quiet.
@0: Charlie is smart.[(triple1)] Dave is green.[(triple2)] Erin is rough.[(triple3)] @1: Charlie is big.[(((triple1) -> rule1))] @2: Charlie is cold.[(((((triple1) -> rule1)) -> rule3))]