The bald eagle chases the lion. The bald eagle is big. The bald eagle is not green. The bald eagle is kind. The bald eagle is nice. The bald eagle is round. The bald eagle likes the lion. The bald eagle sees the lion. The lion chases the bald eagle. The lion is green. The lion is kind. The lion is nice. The lion is round. The lion does not like the bald eagle. The lion sees the bald eagle. If the bald eagle does not like the lion then the lion is big. If the bald eagle is not green then the bald eagle is kind. If someone is round and not kind then they see the lion. If someone sees the lion and the lion sees the bald eagle then the lion chases the bald eagle. If the bald eagle does not see the lion then the lion is green. If someone likes the lion then the lion is green.
The lion sees the bald eagle.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is kind.[(triple4 OR ((triple3) -> rule2))] The bald eagle is nice.[(triple5)] The bald eagle is not green.[(triple3)] The bald eagle is round.[(triple6)] The bald eagle likes the lion.[(triple7)] The bald eagle sees the lion.[(triple8)] The lion chases the bald eagle.[(triple9 OR ((triple8 triple15) -> rule4))] The lion does not like the bald eagle.[(triple14)] The lion is green.[(triple10 OR ((triple7) -> rule6))] The lion is kind.[(triple11)] The lion is nice.[(triple12)] The lion is round.[(triple13)] The lion sees the bald eagle.[(triple15)]