Charlie is blue. Charlie is not kind. Charlie is quiet. Charlie is young. Dave is not green. Dave is not kind. Dave is round. Dave is not young. Fiona is cold. Fiona is quiet. Fiona is not round. Fiona is not young. Cold, round things are not kind. If something is young and not round then it is kind. If something is green and not round then it is young. If something is kind and green then it is quiet. If something is quiet then it is cold. All young things are green.
Fiona is not kind.
@0: Charlie is blue.[(triple1)] Charlie is not kind.[(triple2)] Charlie is quiet.[(triple3)] Charlie is young.[(triple4)] Dave is not green.[(triple5)] Dave is not kind.[(triple6)] Dave is not young.[(triple8)] Dave is round.[(triple7)] Fiona is cold.[(triple9 OR ((triple10) -> rule5))] Fiona is not round.[(triple11)] Fiona is not young.[(triple12)] Fiona is quiet.[(triple10)] @1: Charlie is cold.[(((triple3) -> rule5))] Charlie is green.[(((triple4) -> rule6))]