The bald eagle chases the lion. The bald eagle is big. The bald eagle is green. The bald eagle is young. The bald eagle sees the lion. The cow is blue. The cow visits the bald eagle. The cow visits the lion. The lion chases the rabbit. The lion is blue. The lion is green. The lion is young. The lion sees the bald eagle. The lion visits the bald eagle. The rabbit chases the lion. The rabbit visits the cow. If someone visits the lion then the lion is big. If someone sees the lion and the lion sees the cow then the cow is big. If someone chases the lion and they see the rabbit then they are blue. If someone visits the bald eagle and they are green then the bald eagle chases the cow. If someone is blue and they see the bald eagle then the bald eagle chases the lion. If someone sees the lion and they visit the rabbit then they chase the bald eagle. If the lion sees the cow and the lion visits the rabbit then the rabbit sees the cow. If the rabbit is young and the rabbit sees the bald eagle then the bald eagle chases the rabbit.
The bald eagle is not young.
@0: The bald eagle chases the lion.[(triple1 OR ((triple10 triple13) -> rule5))] The bald eagle is big.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle sees the lion.[(triple5)] The cow is blue.[(triple6)] The cow visits the bald eagle.[(triple7)] The cow visits the lion.[(triple8)] The lion chases the rabbit.[(triple9)] The lion is blue.[(triple10)] The lion is green.[(triple11)] The lion is young.[(triple12)] The lion sees the bald eagle.[(triple13)] The lion visits the bald eagle.[(triple14)] The rabbit chases the lion.[(triple15)] The rabbit visits the cow.[(triple16)] @1: The bald eagle chases the cow.[(((triple14 triple11) -> rule4))] The lion is big.[(((triple8) -> rule1))]