The bald eagle chases the lion. The bald eagle is big. The bald eagle is cold. The bald eagle is kind. The bald eagle is nice. The bald eagle is rough. The bald eagle likes the lion. The bald eagle sees the lion. The lion chases the bald eagle. The lion is big. The lion is cold. The lion is kind. The lion is nice. The lion is rough. The lion likes the bald eagle. The lion sees the bald eagle. If something chases the bald eagle and it likes the bald eagle then it is big. If something sees the lion and the lion likes the bald eagle then the bald eagle chases the lion.
The bald eagle chases the bald eagle.
@0: The bald eagle chases the lion.[(triple1 OR ((triple8 triple15) -> rule2))] The bald eagle is big.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle is rough.[(triple6)] The bald eagle likes the lion.[(triple7)] The bald eagle sees the lion.[(triple8)] The lion chases the bald eagle.[(triple9)] The lion is big.[(triple10 OR ((triple9 triple15) -> rule1))] The lion is cold.[(triple11)] The lion is kind.[(triple12)] The lion is nice.[(triple13)] The lion is rough.[(triple14)] The lion likes the bald eagle.[(triple15)] The lion sees the bald eagle.[(triple16)]