Anne is not big. Anne is blue. Anne is green. Anne is nice. Anne is rough. Anne is smart. Anne is white. Bob is blue. Bob is not green. Bob is nice. Dave is not blue. Dave is green. Dave is rough. Dave is smart. Dave is white. All green people are rough. If someone is blue and green then they are smart.
Dave is not white.
@0: Anne is blue.[(triple2)] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is not big.[(triple1)] Anne is rough.[(triple5 OR ((triple3) -> rule1))] Anne is smart.[(triple6 OR ((triple2 triple3) -> rule2))] Anne is white.[(triple7)] Bob is blue.[(triple8)] Bob is nice.[(triple10)] Bob is not green.[(triple9)] Dave is green.[(triple12)] Dave is not blue.[(triple11)] Dave is rough.[(triple13 OR ((triple12) -> rule1))] Dave is smart.[(triple14)] Dave is white.[(triple15)]