The cat eats the mouse. The cat eats the rabbit. The cat visits the rabbit. The mouse sees the cat. The mouse sees the rabbit. The rabbit eats the mouse. The rabbit is young. If something eats the cat and the cat is young then the cat sees the mouse.
The cat does not eat the rabbit.
@0: The cat eats the mouse.[(triple1)] The cat eats the rabbit.[(triple2)] The cat visits the rabbit.[(triple3)] The mouse sees the cat.[(triple4)] The mouse sees the rabbit.[(triple5)] The rabbit eats the mouse.[(triple6)] The rabbit is young.[(triple7)]