The bald eagle eats the lion. The bald eagle eats the tiger. The bald eagle likes the tiger. The bald eagle sees the cow. The cow is green. The cow likes the bald eagle. The lion is nice. The tiger eats the cow. The tiger likes the bald eagle. The tiger likes the cow. The tiger likes the lion. The tiger sees the bald eagle. If something sees the cow then it sees the lion. If the lion is kind and the lion sees the tiger then the tiger sees the bald eagle. If the cow sees the bald eagle and the cow likes the bald eagle then the cow is nice. If something likes the cow then it is kind. If something is kind then it eats the cow. If the lion sees the bald eagle then the lion sees the cow.
The tiger likes the tiger.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle sees the cow.[(triple4)] The cow is green.[(triple5)] The cow likes the bald eagle.[(triple6)] The lion is nice.[(triple7)] The tiger eats the cow.[(triple8 OR ((((triple10) -> rule4)) -> rule5))] The tiger likes the bald eagle.[(triple9)] The tiger likes the cow.[(triple10)] The tiger likes the lion.[(triple11)] The tiger sees the bald eagle.[(triple12)] @1: The bald eagle sees the lion.[(((triple4) -> rule1))] The tiger is kind.[(((triple10) -> rule4))]