Charlie is not big. Dave is not big. Erin is quiet. Gary is white. If Erin is white and Erin is not quiet then Erin is not kind. If something is kind and not young then it is not nice. If Erin is not quiet and Erin is not nice then Erin is not green.
Charlie is green.
@0: Charlie is not big.[(triple1)] Dave is not big.[(triple2)] Erin is quiet.[(triple3)] Gary is white.[(triple4)]