The cow eats the mouse. The cow is nice. The cow is round. The cow likes the mouse. The cow needs the mouse. The mouse eats the cow. The mouse is cold. The mouse is not green. The mouse is rough. The mouse is not round. The mouse does not like the cow. The mouse needs the cow. If something is cold and it needs the mouse then it is round. If something is rough and it needs the mouse then it needs the cow. If something eats the cow and the cow does not eat the mouse then the mouse is nice. If something likes the cow and the cow eats the mouse then it eats the cow. If something likes the cow and it eats the mouse then the mouse does not like the cow. If the cow is nice and the cow does not eat the mouse then the cow needs the mouse. If the mouse eats the cow then the mouse needs the cow. If something needs the mouse then it likes the cow.
The cow does not need the mouse.
@0: The cow eats the mouse.[(triple1)] The cow is nice.[(triple2)] The cow is round.[(triple3)] The cow likes the mouse.[(triple4)] The cow needs the mouse.[(triple5)] The mouse does not like the cow.[(triple11 OR ((((triple5) -> rule8) triple1) -> rule5))] The mouse eats the cow.[(triple6)] The mouse is cold.[(triple7)] The mouse is not green.[(triple8)] The mouse is not round.[(triple10)] The mouse is rough.[(triple9)] The mouse needs the cow.[(triple12 OR ((triple6) -> rule7))] @1: The cow likes the cow.[(((triple5) -> rule8))] @2: The cow eats the cow.[(((((triple5) -> rule8) triple1) -> rule4))]