Anne is green. Bob is not blue. Bob is young. Charlie is nice. Charlie is rough. Dave is cold. Dave is not rough. All cold people are young. If Dave is young and Dave is cold then Dave is blue. Young, cold people are round. If someone is blue and cold then they are green. If someone is cold and rough then they are not green. If Anne is blue and Anne is not round then Anne is not rough.
Dave is not green.
@0: Anne is green.[(triple1)] Bob is not blue.[(triple2)] Bob is young.[(triple3)] Charlie is nice.[(triple4)] Charlie is rough.[(triple5)] Dave is cold.[(triple6)] Dave is not rough.[(triple7)] @1: Dave is young.[(((triple6) -> rule1))] @2: Dave is blue.[(((((triple6) -> rule1) triple6) -> rule2))] Dave is round.[(((((triple6) -> rule1) triple6) -> rule3))] @3: Dave is green.[(((((((triple6) -> rule1) triple6) -> rule2) triple6) -> rule4))]