Anne is not big. Anne is kind. Anne is round. All rough things are not smart. All nice things are smart. If something is kind then it is cold. If Anne is smart and Anne is nice then Anne is round. If Anne is rough and Anne is not kind then Anne is not cold. If something is smart then it is not nice. If something is cold and not kind then it is nice. If Anne is round and Anne is not nice then Anne is not big.
Anne is rough.
@0: Anne is kind.[(triple2)] Anne is not big.[(triple1)] Anne is round.[(triple3)] @1: Anne is cold.[(((triple2) -> rule3))]