The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is big. The bald eagle is kind. The bald eagle is round. The bald eagle is young. The bald eagle visits the lion. The bald eagle visits the squirrel. The lion eats the bald eagle. The lion eats the squirrel. The lion visits the squirrel. The squirrel chases the lion. The squirrel eats the bald eagle. The squirrel eats the lion. The squirrel is kind. The squirrel visits the bald eagle. If someone visits the lion and they eat the bald eagle then the lion chases the squirrel. If the lion is young then the lion is round. If someone visits the lion and they chase the lion then the lion eats the bald eagle.
The bald eagle is not round.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle visits the lion.[(triple7)] The bald eagle visits the squirrel.[(triple8)] The lion eats the bald eagle.[(triple9 OR ((triple7 triple1) -> rule3))] The lion eats the squirrel.[(triple10)] The lion visits the squirrel.[(triple11)] The squirrel chases the lion.[(triple12)] The squirrel eats the bald eagle.[(triple13)] The squirrel eats the lion.[(triple14)] The squirrel is kind.[(triple15)] The squirrel visits the bald eagle.[(triple16)]