Charlie is big. Dave is blue. Erin is cold. Gary is big. If something is blue and kind then it is big. Kind, nice things are blue. If Erin is cold then Erin is green. Blue, red things are big. All red things are green. All kind, blue things are red.
Charlie is nice.
@0: Charlie is big.[(triple1)] Dave is blue.[(triple2)] Erin is cold.[(triple3)] Gary is big.[(triple4)] @1: Erin is green.[(((triple3) -> rule3))]