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