The cow does not eat the rabbit. The cow is round. The cow is young. The cow needs the mouse. The cow does not need the rabbit. The mouse is young. The mouse sees the cow. The mouse sees the rabbit. The mouse sees the tiger. The rabbit is not green. The rabbit is not round. The rabbit needs the tiger. The tiger eats the cow. The tiger is not young. The tiger sees the mouse. If the mouse eats the cow and the mouse is young then the cow is round. If someone is round then they see the mouse. If the tiger is not blue then the tiger is not young.
The rabbit does not need the tiger.
@0: The cow does not eat the rabbit.[(triple1)] The cow does not need the rabbit.[(triple5)] The cow is round.[(triple2)] The cow is young.[(triple3)] The cow needs the mouse.[(triple4)] The mouse is young.[(triple6)] The mouse sees the cow.[(triple7)] The mouse sees the rabbit.[(triple8)] The mouse sees the tiger.[(triple9)] The rabbit is not green.[(triple10)] The rabbit is not round.[(triple11)] The rabbit needs the tiger.[(triple12)] The tiger eats the cow.[(triple13)] The tiger is not young.[(triple14)] The tiger sees the mouse.[(triple15)] @1: The cow sees the mouse.[(((triple2) -> rule2))]