The cow is rough. The cow is young. The cow likes the mouse. The cow needs the tiger. The mouse is green. The mouse likes the cow. The mouse needs the cow. The mouse does not visit the cow. The tiger is green. The tiger is nice. The tiger is rough. The tiger does not like the mouse. If someone is rough and they do not visit the mouse then they like the cow. If someone likes the mouse then the mouse needs the cow. If the mouse likes the cow and the mouse does not like the tiger then the mouse needs the cow. If someone needs the cow and they visit the mouse then the mouse visits the cow. If the cow needs the mouse and the cow likes the mouse then the mouse visits the tiger. If someone is nice and they do not need the cow then the cow needs the mouse.
The cow does not need the mouse.
@0: The cow is rough.[(triple1)] The cow is young.[(triple2)] The cow likes the mouse.[(triple3)] The cow needs the tiger.[(triple4)] The mouse does not visit the cow.[(triple8)] The mouse is green.[(triple5)] The mouse likes the cow.[(triple6)] The mouse needs the cow.[(triple7 OR ((triple3) -> rule2))] The tiger does not like the mouse.[(triple12)] The tiger is green.[(triple9)] The tiger is nice.[(triple10)] The tiger is rough.[(triple11)]