The bald eagle chases the lion. The bald eagle chases the rabbit. The bald eagle likes the lion. The lion chases the rabbit. The lion eats the rabbit. The lion is cold. The lion is green. The lion likes the rabbit. The rabbit chases the bald eagle. The rabbit chases the lion. The rabbit is nice. The rabbit likes the lion. If someone eats the rabbit then the rabbit eats the lion. If someone chases the bald eagle then they eat the rabbit. If someone chases the lion and the lion is red then they are cold. If someone chases the lion and the lion is green then they like the rabbit. If the bald eagle likes the lion and the bald eagle likes the rabbit then the bald eagle eats the lion. If someone chases the bald eagle and they like the rabbit then the bald eagle eats the lion. If someone likes the rabbit and they chase the lion then the rabbit eats the lion. If someone is nice and they like the rabbit then they chase the lion.
The lion likes the rabbit.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle likes the lion.[(triple3)] The lion chases the rabbit.[(triple4)] The lion eats the rabbit.[(triple5)] The lion is cold.[(triple6)] The lion is green.[(triple7)] The lion likes the rabbit.[(triple8)] The rabbit chases the bald eagle.[(triple9)] The rabbit chases the lion.[(triple10)] The rabbit is nice.[(triple11)] The rabbit likes the lion.[(triple12)] @1: The bald eagle likes the rabbit.[(((triple1 triple7) -> rule4))] The rabbit eats the lion.[(((triple5) -> rule1) OR ((((triple9) -> rule2)) -> rule1) OR ((((triple1 triple7) -> rule4) triple1) -> rule7) OR ((((triple10 triple7) -> rule4) triple10) -> rule7))] The rabbit eats the rabbit.[(((triple9) -> rule2))] The rabbit likes the rabbit.[(((triple10 triple7) -> rule4))] @2: The bald eagle eats the lion.[(((triple3 ((triple1 triple7) -> rule4)) -> rule5) OR ((triple9 ((triple10 triple7) -> rule4)) -> rule6))]