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