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.
Fiona is not kind.
@0: Charlie is not smart.[(triple1)] Erin is green.[(triple2)] Fiona is not kind.[(triple3)] Gary is young.[(triple4)]