The bald eagle chases the cow. The bald eagle chases the rabbit. The bald eagle chases the tiger. The bald eagle eats the tiger. The bald eagle is nice. The bald eagle needs the rabbit. The cow is kind. The cow needs the rabbit. The rabbit eats the tiger. The rabbit needs the cow. The tiger chases the bald eagle. The tiger eats the cow. The tiger is blue. The tiger is kind. The tiger needs the rabbit. If something is blue then it chases the tiger. Green things are nice. If something needs the tiger then the tiger chases the cow. If something needs the cow then it eats the tiger. If something eats the rabbit and it needs the cow then the cow is round. If the bald eagle chases the cow then the bald eagle is nice.
The bald eagle needs the cow.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle chases the tiger.[(triple3)] The bald eagle eats the tiger.[(triple4)] The bald eagle is nice.[(triple5 OR ((triple1) -> rule6))] The bald eagle needs the rabbit.[(triple6)] The cow is kind.[(triple7)] The cow needs the rabbit.[(triple8)] The rabbit eats the tiger.[(triple9 OR ((triple10) -> rule4))] The rabbit needs the cow.[(triple10)] The tiger chases the bald eagle.[(triple11)] The tiger eats the cow.[(triple12)] The tiger is blue.[(triple13)] The tiger is kind.[(triple14)] The tiger needs the rabbit.[(triple15)] @1: The tiger chases the tiger.[(((triple13) -> rule1))]