The bald eagle eats the cow. The bald eagle eats the tiger. The bald eagle is cold. The bald eagle needs the tiger. The bald eagle visits the cow. The bear is cold. The bear needs the bald eagle. The bear needs the tiger. The cow eats the tiger. The cow needs the bear. The cow visits the bear. The tiger eats the bear. The tiger eats the cow. The tiger is cold. The tiger is green. The tiger needs the bald eagle. If someone visits the cow and the cow is kind then the cow needs the bear. If someone needs the cow then they are red. All red people are cold. If someone is big and they eat the tiger then they need the bald eagle. If someone needs the cow and they are big then they visit the bear. If someone visits the bear then they need the cow.
The bald eagle needs the cow.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle needs the tiger.[(triple4)] The bald eagle visits the cow.[(triple5)] The bear is cold.[(triple6)] The bear needs the bald eagle.[(triple7)] The bear needs the tiger.[(triple8)] The cow eats the tiger.[(triple9)] The cow needs the bear.[(triple10)] The cow visits the bear.[(triple11)] The tiger eats the bear.[(triple12)] The tiger eats the cow.[(triple13)] The tiger is cold.[(triple14)] The tiger is green.[(triple15)] The tiger needs the bald eagle.[(triple16)] @1: The cow needs the cow.[(((triple11) -> rule6))] @2: The cow is red.[(((((triple11) -> rule6)) -> rule2))] @3: The cow is cold.[(((((((triple11) -> rule6)) -> rule2)) -> rule3))]