The bald eagle eats the cow. The bald eagle is blue. The bald eagle is cold. The bald eagle is kind. The bald eagle is nice. The bald eagle likes the bear. The bald eagle likes the cow. The bald eagle needs the cow. The bear eats the cow. The bear likes the bald eagle. The bear needs the bald eagle. The cow eats the bald eagle. If something eats the cow and it is cold then the cow eats the bald eagle.
The bald eagle needs the bear.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle likes the bear.[(triple6)] The bald eagle likes the cow.[(triple7)] The bald eagle needs the cow.[(triple8)] The bear eats the cow.[(triple9)] The bear likes the bald eagle.[(triple10)] The bear needs the bald eagle.[(triple11)] The cow eats the bald eagle.[(triple12 OR ((triple1 triple3) -> rule1))]