Anne is kind. Anne is round. Charlie is cold. All nice people are not big. If someone is rough and not kind then they are big. If someone is round then they are cold.
Charlie is rough.
@0: Anne is kind.[(triple1)] Anne is round.[(triple2)] Charlie is cold.[(triple3)] @1: Anne is cold.[(((triple2) -> rule3))]