The cat is not blue. The cat sees the cow. The cow eats the cat. The cow does not see the rabbit. The cow visits the rabbit. The mouse eats the cat. The mouse is green. The mouse is rough. The mouse sees the rabbit. The rabbit does not eat the cow. The rabbit eats the mouse. The rabbit is not red. The rabbit sees the cat. The rabbit sees the cow. The rabbit sees the mouse. If something is young then it does not see the rabbit. If the rabbit visits the mouse then the rabbit is young. Young things are not rough. If something is rough and it sees the rabbit then the rabbit does not visit the cat. If something eats the rabbit and it does not visit the cow then the cow is young. If something eats the mouse and it does not see the rabbit then it is not blue.
The cow sees the cow.
@0: The cat is not blue.[(triple1)] The cat sees the cow.[(triple2)] The cow does not see the rabbit.[(triple4)] The cow eats the cat.[(triple3)] The cow visits the rabbit.[(triple5)] The mouse eats the cat.[(triple6)] The mouse is green.[(triple7)] The mouse is rough.[(triple8)] The mouse sees the rabbit.[(triple9)] The rabbit does not eat the cow.[(triple10)] The rabbit eats the mouse.[(triple11)] The rabbit is not red.[(triple12)] The rabbit sees the cat.[(triple13)] The rabbit sees the cow.[(triple14)] The rabbit sees the mouse.[(triple15)] @1: The rabbit does not visit the cat.[(((triple8 triple9) -> rule4))]