The bear eats the mouse. The bear is rough. The bear visits the cow. The cow eats the bear. The cow eats the mouse. The cow is kind. The cow is nice. The cow is not rough. The cow sees the bear. The cow sees the mouse. The cow visits the bear. The cow visits the mouse. The mouse sees the bear. The mouse visits the bear. The mouse visits the cow. If something sees the bear then it sees the cow. If something is cold and it sees the bear then the bear sees the mouse. If something is rough and it does not visit the cow then the cow is rough. If the bear visits the mouse and the cow does not eat the bear then the bear eats the cow. If something eats the cow then it is kind. If something sees the bear then the bear is nice. If the cow eats the mouse then the mouse sees the cow. If something is rough and it does not see the mouse then the mouse sees the cow.
The mouse is cold.
@0: The bear eats the mouse.[(triple1)] The bear is rough.[(triple2)] The bear visits the cow.[(triple3)] The cow eats the bear.[(triple4)] The cow eats the mouse.[(triple5)] The cow is kind.[(triple6)] The cow is nice.[(triple7)] The cow is not rough.[(triple8)] The cow sees the bear.[(triple9)] The cow sees the mouse.[(triple10)] The cow visits the bear.[(triple11)] The cow visits the mouse.[(triple12)] The mouse sees the bear.[(triple13)] The mouse visits the bear.[(triple14)] The mouse visits the cow.[(triple15)] @1: The bear is nice.[(((triple13) -> rule6) OR ((triple9) -> rule6))] The cow sees the cow.[(((triple9) -> rule1))] The mouse sees the cow.[(((triple13) -> rule1) OR ((triple5) -> rule7))]