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