Anne is cold. Anne is green. Anne is not young. Dave is blue. Erin is not blue. Erin is green. Erin is kind. Erin is not quiet. Erin is not rough. Erin is not young. If Dave is not green then Dave is cold. All blue things are quiet. Green things are not quiet. If Anne is green and Anne is kind then Anne is quiet. If something is blue then it is kind. If something is rough and not green then it is not kind. If Dave is rough and Dave is cold then Dave is kind. If Dave is kind then Dave is rough.
Dave is rough.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is not young.[(triple3)] Dave is blue.[(triple4)] Erin is green.[(triple6)] Erin is kind.[(triple7)] Erin is not blue.[(triple5)] Erin is not quiet.[(triple8 OR ((triple6) -> rule3))] Erin is not rough.[(triple9)] Erin is not young.[(triple10)] @1: Anne is not quiet.[(((triple2) -> rule3))] Dave is kind.[(((triple4) -> rule5))] Dave is quiet.[(((triple4) -> rule2))] @2: Dave is rough.[(((((triple4) -> rule5)) -> rule8))]