The cow is cold. The cow is kind. The cow needs the mouse. The cow sees the mouse. The cow visits the mouse. The mouse is big. The mouse is young. The mouse needs the cow. The mouse sees the cow. The mouse visits the cow. If the mouse is cold then the mouse visits the cow. If someone needs the cow and they are big then they see the cow. If someone needs the cow and the cow needs the mouse then the cow sees the mouse.
The cow does not see the cow.
@0: The cow is cold.[(triple1)] The cow is kind.[(triple2)] The cow needs the mouse.[(triple3)] The cow sees the mouse.[(triple4 OR ((triple8 triple3) -> rule3))] The cow visits the mouse.[(triple5)] The mouse is big.[(triple6)] The mouse is young.[(triple7)] The mouse needs the cow.[(triple8)] The mouse sees the cow.[(triple9 OR ((triple8 triple6) -> rule2))] The mouse visits the cow.[(triple10)]