The cow eats the lion. The cow eats the mouse. The cow is big. The cow is cold. The lion eats the cow. The lion is rough. The mouse eats the lion. The mouse is rough. The mouse sees the lion. The mouse visits the cow. If something visits the cow and the cow is rough then it visits the lion. If the cow is rough and the cow eats the lion then the lion visits the cow. If something is rough and it eats the lion then the lion sees the mouse.
The lion does not see the mouse.
@0: The cow eats the lion.[(triple1)] The cow eats the mouse.[(triple2)] The cow is big.[(triple3)] The cow is cold.[(triple4)] The lion eats the cow.[(triple5)] The lion is rough.[(triple6)] The mouse eats the lion.[(triple7)] The mouse is rough.[(triple8)] The mouse sees the lion.[(triple9)] The mouse visits the cow.[(triple10)] @1: The lion sees the mouse.[(((triple8 triple7) -> rule3))]