Anne is not green. Anne is red. Dave is green. Dave is rough. Erin is green. Fiona is blue. Fiona is green. All green, cold things are not red. If something is white then it is green. All blue things are green. If Erin is blue and Erin is green then Erin is not white. If something is cold and blue then it is white. If Dave is green and Dave is not young then Dave is not rough. If something is white and young then it is not blue. If Anne is not green then Anne is rough.
Dave is green.
@0: Anne is not green.[(triple1)] Anne is red.[(triple2)] Dave is green.[(triple3)] Dave is rough.[(triple4)] Erin is green.[(triple5)] Fiona is blue.[(triple6)] Fiona is green.[(triple7 OR ((triple6) -> rule3))] @1: Anne is rough.[(((triple1) -> rule8))]