The bald eagle sees the tiger. The bald eagle visits the rabbit. The lion eats the bald eagle. The lion eats the tiger. The lion is green. The lion sees the bald eagle. The lion sees the rabbit. The rabbit eats the tiger. The rabbit is kind. The tiger eats the bald eagle. The tiger eats the lion. The tiger is big. The tiger is kind. The tiger is red. The tiger sees the bald eagle. The tiger visits the lion. If someone is red and they see the tiger then they eat the tiger. If someone is green and they eat the bald eagle then they eat the tiger.
The lion does not eat the tiger.
@0: The bald eagle sees the tiger.[(triple1)] The bald eagle visits the rabbit.[(triple2)] The lion eats the bald eagle.[(triple3)] The lion eats the tiger.[(triple4 OR ((triple5 triple3) -> rule2))] The lion is green.[(triple5)] The lion sees the bald eagle.[(triple6)] The lion sees the rabbit.[(triple7)] The rabbit eats the tiger.[(triple8)] The rabbit is kind.[(triple9)] The tiger eats the bald eagle.[(triple10)] The tiger eats the lion.[(triple11)] The tiger is big.[(triple12)] The tiger is kind.[(triple13)] The tiger is red.[(triple14)] The tiger sees the bald eagle.[(triple15)] The tiger visits the lion.[(triple16)]