The cow is kind. The cow needs the rabbit. The mouse is green. The mouse is not red. The mouse likes the cow. The mouse needs the tiger. The rabbit needs the cow. The rabbit needs the mouse. The tiger does not like the cow. The tiger needs the cow. If the mouse likes the cow then the mouse eats the rabbit. If someone eats the tiger then they do not need the rabbit. If someone is blue and they eat the rabbit then they like the cow.
The rabbit does not like the cow.
@0: The cow is kind.[(triple1)] The cow needs the rabbit.[(triple2)] The mouse is green.[(triple3)] The mouse is not red.[(triple4)] The mouse likes the cow.[(triple5)] The mouse needs the tiger.[(triple6)] The rabbit needs the cow.[(triple7)] The rabbit needs the mouse.[(triple8)] The tiger does not like the cow.[(triple9)] The tiger needs the cow.[(triple10)] @1: The mouse eats the rabbit.[(((triple5) -> rule1))]