The cow eats the mouse. The cow is cold. The cow is green. The cow is kind. The cow is not nice. The cow is rough. The cow likes the mouse. The cow visits the mouse. The mouse does not eat the cow. The mouse is green. The mouse is kind. The mouse is nice. The mouse is rough. The mouse likes the cow. The mouse visits the cow. If something visits the mouse then it is rough. If something is rough then it is cold. If something eats the mouse then it likes the mouse. If the mouse likes the cow and the cow eats the mouse then the cow is kind. If something visits the cow and it eats the mouse then the cow likes the mouse. If something eats the cow then the cow does not eat the mouse.
The mouse does not like the mouse.
@0: The cow eats the mouse.[(triple1)] The cow is cold.[(triple2 OR ((triple6) -> rule2) OR ((((triple8) -> rule1)) -> rule2))] The cow is green.[(triple3)] The cow is kind.[(triple4 OR ((triple14 triple1) -> rule4))] The cow is not nice.[(triple5)] The cow is rough.[(triple6 OR ((triple8) -> rule1))] The cow likes the mouse.[(triple7 OR ((triple1) -> rule3))] The cow visits the mouse.[(triple8)] The mouse does not eat the cow.[(triple9)] The mouse is green.[(triple10)] The mouse is kind.[(triple11)] The mouse is nice.[(triple12)] The mouse is rough.[(triple13)] The mouse likes the cow.[(triple14)] The mouse visits the cow.[(triple15)] @1: The mouse is cold.[(((triple13) -> rule2))]