The cow eats the mouse. The cow is big. The cow is not kind. The cow does not need the mouse. The cow needs the squirrel. The lion eats the mouse. The lion is big. The lion needs the mouse. The mouse is big. The mouse is blue. The mouse is kind. The mouse is round. The mouse likes the lion. The mouse likes the squirrel. The squirrel likes the mouse. If the cow does not eat the squirrel then the cow likes the lion. If something needs the lion and the lion likes the cow then the cow eats the mouse. If something needs the lion then the lion eats the cow. If something needs the lion then it is not round. If something eats the mouse then it is not blue. If something eats the mouse and it is not blue then the mouse eats the squirrel. If something eats the squirrel then it needs the cow. If something eats the mouse and the mouse is not round then it is not nice.
The mouse does not need the cow.
@0: The cow does not need the mouse.[(triple4)] The cow eats the mouse.[(triple1)] The cow is big.[(triple2)] The cow is not kind.[(triple3)] The cow needs the squirrel.[(triple5)] The lion eats the mouse.[(triple6)] The lion is big.[(triple7)] The lion needs the mouse.[(triple8)] The mouse is big.[(triple9)] The mouse is blue.[(triple10)] The mouse is kind.[(triple11)] The mouse is round.[(triple12)] The mouse likes the lion.[(triple13)] The mouse likes the squirrel.[(triple14)] The squirrel likes the mouse.[(triple15)] @1: The cow is not blue.[(((triple1) -> rule5))] The lion is not blue.[(((triple6) -> rule5))] @2: The mouse eats the squirrel.[(((triple1 ((triple1) -> rule5)) -> rule6) OR ((triple6 ((triple6) -> rule5)) -> rule6))] @3: The mouse needs the cow.[(((((triple1 ((triple1) -> rule5)) -> rule6)) -> rule7) OR ((((triple6 ((triple6) -> rule5)) -> rule6)) -> rule7))]