The cow eats the rabbit. The cow is red. The cow sees the rabbit. The cow does not visit the mouse. The cow does not visit the rabbit. The mouse eats the rabbit. The mouse is not big. The mouse is not blue. The mouse is red. The mouse is rough. The mouse sees the cow. The mouse visits the cow. The mouse visits the rabbit. The rabbit sees the cow. The rabbit sees the mouse. If something sees the rabbit and the rabbit does not visit the mouse then it sees the mouse. If something sees the rabbit then it sees the mouse. If something sees the rabbit and it does not visit the rabbit then it is nice.
The mouse is not blue.
@0: The cow does not visit the mouse.[(triple4)] The cow does not visit the rabbit.[(triple5)] The cow eats the rabbit.[(triple1)] The cow is red.[(triple2)] The cow sees the rabbit.[(triple3)] The mouse eats the rabbit.[(triple6)] The mouse is not big.[(triple7)] The mouse is not blue.[(triple8)] The mouse is red.[(triple9)] The mouse is rough.[(triple10)] The mouse sees the cow.[(triple11)] The mouse visits the cow.[(triple12)] The mouse visits the rabbit.[(triple13)] The rabbit sees the cow.[(triple14)] The rabbit sees the mouse.[(triple15)] @1: The cow is nice.[(((triple3 triple5) -> rule3))] The cow sees the mouse.[(((triple3) -> rule2))]