Dave is nice. Erin is not round. Gary is green. Round, big things are cold. White things are big. All round things are big. If something is nice and green then it is big. Green things are big. All cold, nice things are big. Cold, red things are nice. All cold things are not nice.
Dave is not cold.
@0: Dave is nice.[(triple1)] Erin is not round.[(triple2)] Gary is green.[(triple3)] @1: Gary is big.[(((triple3) -> rule5))]