Anne is nice. Anne is not smart. Bob is cold. Bob is kind. Bob is young. Charlie is cold. Charlie is green. Charlie is smart. Fiona is not cold. Fiona is young. If something is cold and not green then it is smart. If something is nice and blue then it is not kind. If Fiona is kind then Fiona is nice. All cold things are not nice. If something is kind and not smart then it is not nice. Young, blue things are not nice.
Anne is not nice.
@0: Anne is nice.[(triple1)] Anne is not smart.[(triple2)] Bob is cold.[(triple3)] Bob is kind.[(triple4)] Bob is young.[(triple5)] Charlie is cold.[(triple6)] Charlie is green.[(triple7)] Charlie is smart.[(triple8)] Fiona is not cold.[(triple9)] Fiona is young.[(triple10)] @1: Bob is not nice.[(((triple3) -> rule4))] Charlie is not nice.[(((triple6) -> rule4))]