The bald eagle does not eat the tiger. The bald eagle is green. The cat chases the dog. The cat is big. The cat is green. The cat visits the tiger. The dog is not round. The dog visits the cat. The tiger eats the bald eagle. The tiger eats the cat. The tiger is big. The tiger is not green. The tiger is not kind. The tiger is nice. The tiger does not visit the bald eagle. If the dog is big and the dog eats the tiger then the tiger chases the bald eagle. If someone eats the tiger then they eat the bald eagle. If someone eats the tiger and the tiger does not visit the cat then they are nice. If someone is green then they chase the dog. If someone chases the dog then they chase the tiger. If the tiger eats the dog then the dog does not eat the cat.
The tiger does not chase the dog.
@0: The bald eagle does not eat the tiger.[(triple1)] The bald eagle is green.[(triple2)] The cat chases the dog.[(triple3 OR ((triple5) -> rule4))] The cat is big.[(triple4)] The cat is green.[(triple5)] The cat visits the tiger.[(triple6)] The dog is not round.[(triple7)] The dog visits the cat.[(triple8)] The tiger does not visit the bald eagle.[(triple15)] The tiger eats the bald eagle.[(triple9)] The tiger eats the cat.[(triple10)] The tiger is big.[(triple11)] The tiger is nice.[(triple14)] The tiger is not green.[(triple12)] The tiger is not kind.[(triple13)] @1: The bald eagle chases the dog.[(((triple2) -> rule4))] The cat chases the tiger.[(((triple3) -> rule5) OR ((((triple5) -> rule4)) -> rule5))] @2: The bald eagle chases the tiger.[(((((triple2) -> rule4)) -> rule5))]