Charlie is not nice. Erin is red. Gary is quiet. If someone is smart and not nice then they are young. If someone is young and round then they are not smart.
Charlie is nice.
@0: Charlie is not nice.[(triple1)] Erin is red.[(triple2)] Gary is quiet.[(triple3)]