The bald eagle chases the mouse. The bald eagle likes the cow. The bald eagle needs the tiger. The cow is red. The cow likes the tiger. The mouse is cold. The mouse likes the bald eagle. The mouse likes the cow. The tiger chases the bald eagle. The tiger chases the cow. The tiger likes the mouse. The tiger needs the cow. If someone needs the mouse then the mouse chases the bald eagle. If someone chases the bald eagle then they like the mouse. If the tiger chases the cow and the tiger does not need the cow then the cow is rough. If someone likes the mouse then the mouse likes the tiger. If someone chases the cow and the cow is rough then the cow is not cold. If someone chases the bald eagle and they are kind then they need the bald eagle.
The cow likes the mouse.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle needs the tiger.[(triple3)] The cow is red.[(triple4)] The cow likes the tiger.[(triple5)] The mouse is cold.[(triple6)] The mouse likes the bald eagle.[(triple7)] The mouse likes the cow.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger chases the cow.[(triple10)] The tiger likes the mouse.[(triple11 OR ((triple9) -> rule2))] The tiger needs the cow.[(triple12)] @1: The mouse likes the tiger.[(((triple11) -> rule4) OR ((((triple9) -> rule2)) -> rule4))]