The bald eagle chases the cow. The bald eagle chases the rabbit. The bald eagle does not eat the cow. The bald eagle is not big. The bald eagle sees the cow. The cow does not chase the bald eagle. The cow does not chase the tiger. The cow eats the rabbit. The cow is green. The cow is not round. The rabbit eats the bald eagle. The rabbit is blue. The rabbit sees the tiger. The tiger is not green. The tiger is rough. If someone eats the cow then the cow does not chase the rabbit. If the cow is big and the cow does not see the tiger then the cow does not chase the rabbit. If someone chases the cow then they see the rabbit. If someone eats the bald eagle then the bald eagle sees the tiger. If someone eats the cow and the cow sees the tiger then they see the bald eagle. If someone sees the bald eagle and they eat the rabbit then the rabbit eats the bald eagle. If the cow eats the rabbit then the cow does not chase the bald eagle. If someone eats the tiger and they do not see the bald eagle then the tiger is not round.
The rabbit does not see the bald eagle.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle does not eat the cow.[(triple3)] The bald eagle is not big.[(triple4)] The bald eagle sees the cow.[(triple5)] The cow does not chase the bald eagle.[(triple6 OR ((triple8) -> rule7))] The cow does not chase the tiger.[(triple7)] The cow eats the rabbit.[(triple8)] The cow is green.[(triple9)] The cow is not round.[(triple10)] The rabbit eats the bald eagle.[(triple11)] The rabbit is blue.[(triple12)] The rabbit sees the tiger.[(triple13)] The tiger is not green.[(triple14)] The tiger is rough.[(triple15)] @1: The bald eagle sees the rabbit.[(((triple1) -> rule3))] The bald eagle sees the tiger.[(((triple11) -> rule4))]