The bald eagle does not see the lion. The cat eats the lion. The cat likes the cow. The cow eats the cat. The cow eats the lion. The cow is cold. The cow is young. The cow likes the lion. The cow does not see the lion. The lion eats the cat. The lion eats the cow. The lion is big. The lion is blue. The lion is cold. The lion is young. If something likes the bald eagle and it is young then it is big. If something eats the lion then the lion is big. If the lion eats the bald eagle and the bald eagle does not like the cat then the bald eagle does not see the cat.
The cat is blue.
@0: The bald eagle does not see the lion.[(triple1)] The cat eats the lion.[(triple2)] The cat likes the cow.[(triple3)] The cow does not see the lion.[(triple9)] The cow eats the cat.[(triple4)] The cow eats the lion.[(triple5)] The cow is cold.[(triple6)] The cow is young.[(triple7)] The cow likes the lion.[(triple8)] The lion eats the cat.[(triple10)] The lion eats the cow.[(triple11)] The lion is big.[(triple12 OR ((triple2) -> rule2) OR ((triple5) -> rule2))] The lion is blue.[(triple13)] The lion is cold.[(triple14)] The lion is young.[(triple15)]