Anne is cold. Anne is not kind. Anne is rough. Anne is round. Anne is not smart. Anne is young. Dave is cold. Dave is kind. Dave is not round. Dave is smart. All kind people are not rough. All round people are rough.
Dave is not rough.
@0: Anne is cold.[(triple1)] Anne is not kind.[(triple2)] Anne is not smart.[(triple5)] Anne is rough.[(triple3 OR ((triple4) -> rule2))] Anne is round.[(triple4)] Anne is young.[(triple6)] Dave is cold.[(triple7)] Dave is kind.[(triple8)] Dave is not round.[(triple9)] Dave is smart.[(triple10)] @1: Dave is not rough.[(((triple8) -> rule1))]