Charlie is big. Dave is big. Erin is big. Gary is cold. If someone is cold and big then they are quiet. Cold people are big.
Charlie is not big.
@0: Charlie is big.[(triple1)] Dave is big.[(triple2)] Erin is big.[(triple3)] Gary is cold.[(triple4)] @1: Gary is big.[(((triple4) -> rule2))] @2: Gary is quiet.[(((triple4 ((triple4) -> rule2)) -> rule1))]