The bald eagle sees the lion. The lion is nice. The lion sees the bald eagle. If someone visits the bald eagle and the bald eagle is green then they eat the bald eagle. If someone visits the lion and the lion sees the bald eagle then the bald eagle is blue. All green people are big. If the bald eagle sees the lion then the bald eagle eats the lion. If the lion sees the bald eagle then the lion is nice. If the lion sees the bald eagle and the lion visits the bald eagle then the lion is nice. If someone sees the bald eagle and the bald eagle is round then the bald eagle eats the lion. If someone is blue then they are green.
The lion is not big.
@0: The bald eagle sees the lion.[(triple1)] The lion is nice.[(triple2 OR ((triple3) -> rule5))] The lion sees the bald eagle.[(triple3)] @1: The bald eagle eats the lion.[(((triple1) -> rule4))]