The bald eagle eats the lion. The bald eagle eats the mouse. The bald eagle eats the tiger. The bald eagle is not nice. The bald eagle is not round. The bald eagle likes the lion. The bald eagle likes the tiger. The bald eagle sees the tiger. The lion eats the tiger. The lion likes the bald eagle. The mouse does not eat the tiger. The mouse is big. The mouse does not see the bald eagle. The tiger eats the lion. The tiger likes the mouse. The tiger sees the lion. If someone likes the lion then they see the bald eagle. If someone is blue and nice then they do not eat the mouse. If someone is nice and they see the bald eagle then they like the bald eagle. If someone is round then they eat the bald eagle. If someone sees the tiger and the tiger sees the lion then the lion is round. If someone eats the bald eagle then they are not green. If someone sees the lion and they do not see the mouse then the lion does not eat the bald eagle. If someone sees the tiger and the tiger does not eat the mouse then they see the lion.
The lion is green.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle eats the tiger.[(triple3)] The bald eagle is not nice.[(triple4)] The bald eagle is not round.[(triple5)] The bald eagle likes the lion.[(triple6)] The bald eagle likes the tiger.[(triple7)] The bald eagle sees the tiger.[(triple8)] The lion eats the tiger.[(triple9)] The lion likes the bald eagle.[(triple10)] The mouse does not eat the tiger.[(triple11)] The mouse does not see the bald eagle.[(triple13)] The mouse is big.[(triple12)] The tiger eats the lion.[(triple14)] The tiger likes the mouse.[(triple15)] The tiger sees the lion.[(triple16)] @1: The bald eagle sees the bald eagle.[(((triple6) -> rule1))] The lion is round.[(((triple8 triple16) -> rule5))] @2: The lion eats the bald eagle.[(((((triple8 triple16) -> rule5)) -> rule4))] @3: The lion is not green.[(((((((triple8 triple16) -> rule5)) -> rule4)) -> rule6))]