The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is blue. The bald eagle is cold. The bald eagle is red. The bald eagle is young. The bald eagle sees the lion. The lion chases the bald eagle. The lion eats the bald eagle. The lion is green. The lion is young. The lion sees the bald eagle. If someone chases the lion then they are young. If someone sees the lion and the lion eats the bald eagle then the lion chases the bald eagle.
The lion is not blue.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle is young.[(triple6 OR ((triple1) -> rule1))] The bald eagle sees the lion.[(triple7)] The lion chases the bald eagle.[(triple8 OR ((triple7 triple9) -> rule2))] The lion eats the bald eagle.[(triple9)] The lion is green.[(triple10)] The lion is young.[(triple11)] The lion sees the bald eagle.[(triple12)]