The cow does not eat the tiger. The cow needs the mouse. The lion eats the cow. The lion is round. The lion needs the cow. The lion does not need the mouse. The mouse eats the cow. The mouse is big. The mouse is not round. The mouse does not need the cow. The mouse does not see the tiger. The tiger eats the cow. The tiger is big. The tiger is young. The tiger needs the lion. If something is young then it eats the mouse. If something sees the cow then it sees the mouse. If something needs the cow then it is not young. If something eats the tiger and it needs the cow then the tiger eats the cow. If something eats the mouse then it sees the cow. If the tiger is not young and the tiger does not see the mouse then the mouse is not green. If something sees the lion and it is not green then the lion needs the tiger. If something needs the tiger and it is big then the tiger is big.
The cow does not need the mouse.
@0: The cow does not eat the tiger.[(triple1)] The cow needs the mouse.[(triple2)] The lion does not need the mouse.[(triple6)] The lion eats the cow.[(triple3)] The lion is round.[(triple4)] The lion needs the cow.[(triple5)] The mouse does not need the cow.[(triple10)] The mouse does not see the tiger.[(triple11)] The mouse eats the cow.[(triple7)] The mouse is big.[(triple8)] The mouse is not round.[(triple9)] The tiger eats the cow.[(triple12)] The tiger is big.[(triple13)] The tiger is young.[(triple14)] The tiger needs the lion.[(triple15)] @1: The lion is not young.[(((triple5) -> rule3))] The tiger eats the mouse.[(((triple14) -> rule1))] @2: The tiger sees the cow.[(((((triple14) -> rule1)) -> rule5))] @3: The tiger sees the mouse.[(((((((triple14) -> rule1)) -> rule5)) -> rule2))]