The bald eagle eats the cow. The bald eagle is round. The bald eagle needs the cow. The bald eagle needs the lion. The bald eagle visits the rabbit. The cow eats the bald eagle. The cow is round. The cow needs the rabbit. The cow visits the bald eagle. The cow visits the rabbit. The lion eats the bald eagle. The lion visits the cow. The rabbit is cold. The rabbit is red. The rabbit needs the lion. If someone visits the bald eagle then the bald eagle is big.
The lion is round.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle needs the cow.[(triple3)] The bald eagle needs the lion.[(triple4)] The bald eagle visits the rabbit.[(triple5)] The cow eats the bald eagle.[(triple6)] The cow is round.[(triple7)] The cow needs the rabbit.[(triple8)] The cow visits the bald eagle.[(triple9)] The cow visits the rabbit.[(triple10)] The lion eats the bald eagle.[(triple11)] The lion visits the cow.[(triple12)] The rabbit is cold.[(triple13)] The rabbit is red.[(triple14)] The rabbit needs the lion.[(triple15)] @1: The bald eagle is big.[(((triple9) -> rule1))]