The bald eagle does not chase the cow. The bald eagle eats the tiger. The bald eagle is kind. The cat chases the cow. The cat eats the bald eagle. The cow chases the bald eagle. The cow chases the cat. The cow eats the bald eagle. The cow eats the cat. The cow is not kind. The cow is red. The tiger is not big. The tiger is rough. The tiger does not visit the cat. If someone eats the cat and they do not eat the tiger then the tiger does not chase the cat. If someone is kind and they visit the cow then they do not visit the tiger. If someone chases the cat then they visit the tiger. If someone visits the tiger then they visit the bald eagle. If the tiger eats the bald eagle then the tiger eats the cow. If someone visits the tiger and they visit the bald eagle then the bald eagle chases the cat.
The bald eagle does not visit the bald eagle.
@0: The bald eagle does not chase the cow.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is kind.[(triple3)] The cat chases the cow.[(triple4)] The cat eats the bald eagle.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow chases the cat.[(triple7)] The cow eats the bald eagle.[(triple8)] The cow eats the cat.[(triple9)] The cow is not kind.[(triple10)] The cow is red.[(triple11)] The tiger does not visit the cat.[(triple14)] The tiger is not big.[(triple12)] The tiger is rough.[(triple13)] @1: The cow visits the tiger.[(((triple7) -> rule3))] @2: The cow visits the bald eagle.[(((((triple7) -> rule3)) -> rule4))] @3: The bald eagle chases the cat.[(((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule6))] @4: The bald eagle visits the tiger.[(((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule6)) -> rule3))] @5: The bald eagle visits the bald eagle.[(((((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule6)) -> rule3)) -> rule4))]