Dave is cold. Dave is red. Erin is rough. If something is big then it is cold. Rough things are red. Big things are red. All young, red things are cold. If Erin is young and Erin is nice then Erin is red. All cold, big things are nice.
Dave is not cold.
@0: Dave is cold.[(triple1)] Dave is red.[(triple2)] Erin is rough.[(triple3)] @1: Erin is red.[(((triple3) -> rule2))]