The bald eagle is big. The bald eagle is nice. The bald eagle likes the mouse. The bald eagle needs the cat. The bald eagle needs the mouse. The cat is green. The cat needs the bald eagle. The cat visits the cow. The cat visits the mouse. The cow is big. The cow is nice. The cow likes the mouse. The mouse is kind. The mouse visits the bald eagle. The mouse visits the cat. If someone visits the cow and the cow needs the bald eagle then the cow needs the cat. If someone likes the cat then the cat needs the cow. If someone visits the cow and they need the mouse then the mouse visits the bald eagle. If someone needs the bald eagle and they are round then the bald eagle is nice. If someone visits the cow then the cow visits the bald eagle. If the bald eagle needs the cow then the cow is big.
The cat does not need the cow.
@0: The bald eagle is big.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle needs the cat.[(triple4)] The bald eagle needs the mouse.[(triple5)] The cat is green.[(triple6)] The cat needs the bald eagle.[(triple7)] The cat visits the cow.[(triple8)] The cat visits the mouse.[(triple9)] The cow is big.[(triple10)] The cow is nice.[(triple11)] The cow likes the mouse.[(triple12)] The mouse is kind.[(triple13)] The mouse visits the bald eagle.[(triple14)] The mouse visits the cat.[(triple15)] @1: The cow visits the bald eagle.[(((triple8) -> rule5))]