Anne is not big. Anne is green. Anne is not rough. Anne is not round. Anne is not young. Bob is not big. Bob is blue. Bob is quiet. Bob is rough. Dave is big. Dave is green. Dave is rough. If something is round and not big then it is rough. If Dave is green then Dave is young.
Dave is not young.
@0: Anne is green.[(triple2)] Anne is not big.[(triple1)] Anne is not rough.[(triple3)] Anne is not round.[(triple4)] Anne is not young.[(triple5)] Bob is blue.[(triple7)] Bob is not big.[(triple6)] Bob is quiet.[(triple8)] Bob is rough.[(triple9)] Dave is big.[(triple10)] Dave is green.[(triple11)] Dave is rough.[(triple12)] @1: Dave is young.[(((triple11) -> rule2))]