The bald eagle eats the cow. The bald eagle eats the tiger. The bald eagle is nice. The cow eats the bald eagle. The cow is green. The cow is kind. The cow likes the bald eagle. The cow likes the dog. The dog is big. The dog likes the tiger. The dog visits the bald eagle. The tiger eats the cow. The tiger eats the dog. The tiger is big. The tiger visits the dog. If someone likes the tiger then they are nice. If someone visits the bald eagle then the bald eagle eats the dog. If someone eats the cow then the cow visits the bald eagle. If someone visits the dog and they eat the tiger then they are nice. If someone visits the dog and the dog visits the cow then the dog eats the tiger. If someone likes the dog and they are green then the dog likes the tiger. If someone likes the bald eagle and the bald eagle visits the cow then the cow eats the tiger. If the tiger likes the dog then the dog eats the cow.
The bald eagle is red.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is nice.[(triple3)] The cow eats the bald eagle.[(triple4)] The cow is green.[(triple5)] The cow is kind.[(triple6)] The cow likes the bald eagle.[(triple7)] The cow likes the dog.[(triple8)] The dog is big.[(triple9)] The dog likes the tiger.[(triple10 OR ((triple8 triple5) -> rule6))] The dog visits the bald eagle.[(triple11)] The tiger eats the cow.[(triple12)] The tiger eats the dog.[(triple13)] The tiger is big.[(triple14)] The tiger visits the dog.[(triple15)] @1: The bald eagle eats the dog.[(((triple11) -> rule2) OR ((((triple1) -> rule3)) -> rule2) OR ((((triple12) -> rule3)) -> rule2))] The cow visits the bald eagle.[(((triple1) -> rule3) OR ((triple12) -> rule3))] The dog is nice.[(((triple10) -> rule1) OR ((((triple8 triple5) -> rule6)) -> rule1))]