Charlie is not smart. Erin is green. Fiona is not kind. Gary is young. If Fiona is nice and Fiona is green then Fiona is not smart. If Erin is kind then Erin is smart.
Charlie is smart.
@0: Charlie is not smart.[(triple1)] Erin is green.[(triple2)] Fiona is not kind.[(triple3)] Gary is young.[(triple4)]