Charlie is big. Dave is blue. Erin is big. Gary is young. All cold, big people are green. If Erin is green then Erin is young. All young people are smart.
Erin is not big.
@0: Charlie is big.[(triple1)] Dave is blue.[(triple2)] Erin is big.[(triple3)] Gary is young.[(triple4)] @1: Gary is smart.[(((triple4) -> rule3))]