The bald eagle chases the lion. The bald eagle is big. The bald eagle is blue. The bald eagle is kind. The bald eagle is young. The bald eagle likes the lion. The bald eagle sees the lion. The lion chases the bald eagle. The lion is nice. The lion likes the bald eagle. If something sees the lion and the lion is blue then the lion sees the bald eagle. If something is blue and it sees the bald eagle then it sees the lion. If the bald eagle is kind then the bald eagle likes the lion.
The lion does not see the lion.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle likes the lion.[(triple6 OR ((triple4) -> rule3))] The bald eagle sees the lion.[(triple7)] The lion chases the bald eagle.[(triple8)] The lion is nice.[(triple9)] The lion likes the bald eagle.[(triple10)]