The cat eats the cow. The cat eats the rabbit. The cat is kind. The cat needs the rabbit. The cow eats the rabbit. The cow is young. The cow likes the mouse. The cow needs the cat. The cow needs the rabbit. The mouse is young. The mouse likes the cow. The rabbit eats the cat. If someone needs the cat and they like the rabbit then the rabbit eats the cow. If someone likes the cat then the cat needs the mouse. If someone needs the rabbit then the rabbit is young. If someone needs the rabbit and they are rough then the rabbit needs the cat. If someone eats the cow then they eat the mouse. If the cow likes the cat then the cow eats the mouse. If someone eats the mouse and the mouse is nice then they like the rabbit. If someone eats the cat then they are round.
The cow is nice.
@0: The cat eats the cow.[(triple1)] The cat eats the rabbit.[(triple2)] The cat is kind.[(triple3)] The cat needs the rabbit.[(triple4)] The cow eats the rabbit.[(triple5)] The cow is young.[(triple6)] The cow likes the mouse.[(triple7)] The cow needs the cat.[(triple8)] The cow needs the rabbit.[(triple9)] The mouse is young.[(triple10)] The mouse likes the cow.[(triple11)] The rabbit eats the cat.[(triple12)] @1: The cat eats the mouse.[(((triple1) -> rule5))] The rabbit is round.[(((triple12) -> rule8))] The rabbit is young.[(((triple4) -> rule3) OR ((triple9) -> rule3))]