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