The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is cold. The bald eagle is nice. The bald eagle sees the lion. The lion chases the bald eagle. The lion eats the bald eagle. The lion is big. The lion is cold. The lion does not see the bald eagle. If someone is red then they see the lion. If the bald eagle sees the lion and the lion eats the bald eagle then the lion chases the bald eagle. If someone is kind then they see the bald eagle. If someone is cold and they do not eat the bald eagle then the bald eagle sees the lion. If the lion does not eat the bald eagle and the bald eagle does not chase the lion then the lion does not see the bald eagle. If someone eats the lion and they chase the bald eagle then the bald eagle eats the lion.
The bald eagle is cold.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle sees the lion.[(triple5)] The lion chases the bald eagle.[(triple6 OR ((triple5 triple7) -> rule2))] The lion does not see the bald eagle.[(triple10)] The lion eats the bald eagle.[(triple7)] The lion is big.[(triple8)] The lion is cold.[(triple9)]