Charlie is cold. Dave is rough. Erin is furry. All rough people are green. All green, smart people are furry. Rough, green people are cold.
Charlie is not cold.
@0: Charlie is cold.[(triple1)] Dave is rough.[(triple2)] Erin is furry.[(triple3)] @1: Dave is green.[(((triple2) -> rule1))] @2: Dave is cold.[(((triple2 ((triple2) -> rule1)) -> rule3))]