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