The bald eagle is round. The bear is round. The lion is young. The lion sees the bald eagle. The rabbit chases the lion. The rabbit is big. The rabbit visits the lion. If someone is big and they visit the bald eagle then they chase the bear. If someone visits the bear then they chase the bear. If someone sees the bald eagle then they are round. If someone visits the rabbit and the rabbit is round then they are round. If someone chases the bald eagle and the bald eagle sees the bear then they see the bald eagle. If someone chases the bald eagle then they see the bald eagle.
The rabbit is not big.
@0: The bald eagle is round.[(triple1)] The bear is round.[(triple2)] The lion is young.[(triple3)] The lion sees the bald eagle.[(triple4)] The rabbit chases the lion.[(triple5)] The rabbit is big.[(triple6)] The rabbit visits the lion.[(triple7)] @1: The lion is round.[(((triple4) -> rule3))]