Anne is big. Anne is not kind. Anne is not quiet. Anne is smart. Bob is blue. Bob is cold. Bob is kind. Bob is quiet. Charlie is big. Charlie is cold. Charlie is furry. Charlie is quiet. If Anne is smart and Anne is kind then Anne is not furry. If Anne is smart then Anne is not cold.
Anne is kind.
@0: Anne is big.[(triple1)] Anne is not kind.[(triple2)] Anne is not quiet.[(triple3)] Anne is smart.[(triple4)] Bob is blue.[(triple5)] Bob is cold.[(triple6)] Bob is kind.[(triple7)] Bob is quiet.[(triple8)] Charlie is big.[(triple9)] Charlie is cold.[(triple10)] Charlie is furry.[(triple11)] Charlie is quiet.[(triple12)] @1: Anne is not cold.[(((triple4) -> rule2))]