The bear likes the mouse. The cow is cold. The cow likes the mouse. The cow sees the mouse. The mouse likes the rabbit. The mouse sees the bear. The mouse sees the cow. The mouse sees the rabbit. The mouse does not visit the rabbit. The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit likes the cow. The rabbit does not see the cow. The rabbit does not visit the cow. If the mouse is not blue then the mouse sees the rabbit. If the bear is not blue then the bear likes the cow. If someone likes the rabbit then the rabbit sees the mouse. If the cow does not like the bear then the bear is green. If someone likes the bear and the bear likes the rabbit then the bear is not green. If the mouse likes the cow then the cow likes the mouse.
The bear does not like the cow.
@0: The bear likes the mouse.[(triple1)] The cow is cold.[(triple2)] The cow likes the mouse.[(triple3)] The cow sees the mouse.[(triple4)] The mouse does not visit the rabbit.[(triple9)] The mouse likes the rabbit.[(triple5)] The mouse sees the bear.[(triple6)] The mouse sees the cow.[(triple7)] The mouse sees the rabbit.[(triple8)] The rabbit does not see the cow.[(triple15)] The rabbit does not visit the cow.[(triple16)] The rabbit is cold.[(triple10)] The rabbit is green.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is nice.[(triple13)] The rabbit likes the cow.[(triple14)] @1: The rabbit sees the mouse.[(((triple5) -> rule3))]