The cat is nice. The cat is red. The cat is rough. The cat is young. The cat visits the mouse. The cow is young. The cow needs the cat. The cow needs the mouse. The cow visits the mouse. The mouse eats the cow. The mouse is red. The mouse needs the cow. If someone visits the cow then they need the mouse. If someone is blue and rough then they eat the mouse. If the mouse is rough and the mouse needs the cat then the cat eats the cow. If someone needs the cow and the cow eats the mouse then the cow eats the cat. If someone needs the cow and the cow is red then they visit the cat. If someone is blue then they are red. If someone needs the cat then they visit the cat. If someone needs the cat and the cat eats the mouse then the mouse visits the cat.
The cow does not eat the cat.
@0: The cat is nice.[(triple1)] The cat is red.[(triple2)] The cat is rough.[(triple3)] The cat is young.[(triple4)] The cat visits the mouse.[(triple5)] The cow is young.[(triple6)] The cow needs the cat.[(triple7)] The cow needs the mouse.[(triple8)] The cow visits the mouse.[(triple9)] The mouse eats the cow.[(triple10)] The mouse is red.[(triple11)] The mouse needs the cow.[(triple12)] @1: The cow visits the cat.[(((triple7) -> rule7))]