Anne is kind. Anne is quiet. Charlie is quiet. Charlie is smart. Charlie is white. Dave is not nice. Dave is quiet. Dave is not red. Fiona is nice. Fiona is red. Fiona is smart. Fiona is young. If Fiona is quiet and Fiona is white then Fiona is kind. If Charlie is kind and Charlie is not quiet then Charlie is smart. All nice, quiet things are not white. If Dave is smart then Dave is kind. If something is young and not nice then it is kind. All smart, quiet things are red.
Anne is not kind.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Charlie is quiet.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Dave is not nice.[(triple6)] Dave is not red.[(triple8)] Dave is quiet.[(triple7)] Fiona is nice.[(triple9)] Fiona is red.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple12)] @1: Charlie is red.[(((triple4 triple3) -> rule6))]