The bald eagle eats the cat. The bald eagle eats the tiger. The bald eagle is big. The bald eagle sees the cow. The cat is not big. The cat is not blue. The cat likes the bald eagle. The cat sees the cow. The cat sees the tiger. The cow sees the bald eagle. The cow sees the tiger. The tiger eats the bald eagle. The tiger is not big. The tiger is rough. The tiger is young. The tiger sees the cat. If something sees the bald eagle then it eats the cow. If something eats the bald eagle and the bald eagle sees the cat then the cat does not like the bald eagle. If the cat is round then the cat likes the bald eagle. If the tiger is not rough then the tiger is young. If the bald eagle is not big then the bald eagle is not round. If something sees the tiger then the tiger likes the cow. If the bald eagle does not eat the cow then the bald eagle does not see the tiger. If something likes the cow and it does not see the tiger then the cow likes the cat.
The cow does not see the bald eagle.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle sees the cow.[(triple4)] The cat is not big.[(triple5)] The cat is not blue.[(triple6)] The cat likes the bald eagle.[(triple7)] The cat sees the cow.[(triple8)] The cat sees the tiger.[(triple9)] The cow sees the bald eagle.[(triple10)] The cow sees the tiger.[(triple11)] The tiger eats the bald eagle.[(triple12)] The tiger is not big.[(triple13)] The tiger is rough.[(triple14)] The tiger is young.[(triple15)] The tiger sees the cat.[(triple16)] @1: The cow eats the cow.[(((triple10) -> rule1))] The tiger likes the cow.[(((triple11) -> rule6) OR ((triple9) -> rule6))]