Charlie is not smart. Fiona is kind. Gary is white. Smart people are not green. If someone is nice and smart then they are green. If Charlie is young and Charlie is nice then Charlie is cold. If someone is nice and cold then they are smart. If someone is young and green then they are smart. If someone is young then they are not white. If Fiona is smart and Fiona is not young then Fiona is kind. All cold people are kind.
Fiona is not kind.
@0: Charlie is not smart.[(triple1)] Fiona is kind.[(triple2)] Gary is white.[(triple3)]