Anne is rough. Anne is not smart. Gary is smart. If Gary is cold then Gary is not nice. If someone is smart then they are not young. If someone is blue and not rough then they are young. If Anne is not rough then Anne is not blue. If someone is round and not smart then they are cold. If someone is young and rough then they are blue.
Anne is rough.
@0: Anne is not smart.[(triple2)] Anne is rough.[(triple1)] Gary is smart.[(triple3)] @1: Gary is not young.[(((triple3) -> rule2))]