The bear does not like the cow. The bear does not like the lion. The bear sees the mouse. The cow is cold. The cow is not nice. The cow is not rough. The cow likes the mouse. The cow sees the bear. The cow visits the bear. The lion is not round. The lion likes the mouse. The lion sees the bear. The lion visits the mouse. The mouse is cold. The mouse visits the cow. The mouse does not visit the lion. If someone is blue and they do not see the mouse then the mouse likes the lion. If someone sees the cow then the cow does not like the bear. If the mouse likes the bear then the mouse does not see the cow. If someone visits the mouse and the mouse is nice then they are rough. If someone is cold then they do not like the bear. If someone sees the cow then they are blue. If someone likes the cow then they are blue. If someone visits the mouse and they are nice then they do not visit the lion.
The bear sees the mouse.
@0: The bear does not like the cow.[(triple1)] The bear does not like the lion.[(triple2)] The bear sees the mouse.[(triple3)] The cow is cold.[(triple4)] The cow is not nice.[(triple5)] The cow is not rough.[(triple6)] The cow likes the mouse.[(triple7)] The cow sees the bear.[(triple8)] The cow visits the bear.[(triple9)] The lion is not round.[(triple10)] The lion likes the mouse.[(triple11)] The lion sees the bear.[(triple12)] The lion visits the mouse.[(triple13)] The mouse does not visit the lion.[(triple16)] The mouse is cold.[(triple14)] The mouse visits the cow.[(triple15)] @1: The cow does not like the bear.[(((triple4) -> rule5))] The mouse does not like the bear.[(((triple14) -> rule5))]