Anne is red. Anne is young. Bob is young. Dave is not green. Dave is quiet. Dave is not rough. Dave is not white. Gary is green. Gary is smart. Gary is young. Smart, quiet people are not green. White people are not green. All red, green people are not white. Quiet, green people are white. All white, red people are rough. If someone is white and young then they are not red. If Gary is rough and Gary is smart then Gary is green. If someone is red then they are smart.
Dave is quiet.
@0: Anne is red.[(triple1)] Anne is young.[(triple2)] Bob is young.[(triple3)] Dave is not green.[(triple4)] Dave is not rough.[(triple6)] Dave is not white.[(triple7)] Dave is quiet.[(triple5)] Gary is green.[(triple8)] Gary is smart.[(triple9)] Gary is young.[(triple10)] @1: Anne is smart.[(((triple1) -> rule8))]