Charlie is cold. Charlie is not green. Charlie is not kind. Charlie is rough. Charlie is not white. Charlie is young. Fiona is green. Fiona is smart. Fiona is white. Fiona is young. If someone is cold and not white then they are not smart. White, kind people are cold.
Fiona is kind.
@0: Charlie is cold.[(triple1)] Charlie is not green.[(triple2)] Charlie is not kind.[(triple3)] Charlie is not white.[(triple5)] Charlie is rough.[(triple4)] Charlie is young.[(triple6)] Fiona is green.[(triple7)] Fiona is smart.[(triple8)] Fiona is white.[(triple9)] Fiona is young.[(triple10)] @1: Charlie is not smart.[(((triple1 triple5) -> rule1))]