The cow chases the mouse. The cow is cold. The cow is rough. The cow is round. The cow is young. The cow sees the mouse. The cow visits the mouse. The mouse is nice. The mouse is rough. The mouse is young. The mouse sees the cow. The mouse visits the cow. If someone chases the cow then the cow sees the mouse. If someone visits the mouse then the mouse sees the cow.
The cow does not visit the mouse.
@0: The cow chases the mouse.[(triple1)] The cow is cold.[(triple2)] The cow is rough.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5)] The cow sees the mouse.[(triple6)] The cow visits the mouse.[(triple7)] The mouse is nice.[(triple8)] The mouse is rough.[(triple9)] The mouse is young.[(triple10)] The mouse sees the cow.[(triple11 OR ((triple7) -> rule2))] The mouse visits the cow.[(triple12)]