The bald eagle eats the tiger. The bald eagle is not red. The bald eagle is round. The bald eagle visits the dog. The bear visits the bald eagle. The dog eats the tiger. The dog is red. The tiger eats the bald eagle. The tiger eats the bear. The tiger eats the dog. The tiger is not red. The tiger does not visit the bear. If something eats the dog then the dog needs the bear. If something needs the bear and it is not red then the bear does not need the tiger. If the dog eats the tiger then the dog eats the bear. If the dog is rough then the dog needs the tiger. If something is red then it eats the bear. If something visits the tiger then the tiger is kind. If something needs the bear then it visits the tiger. If something is blue and it does not visit the tiger then the tiger does not visit the bear.
The bear does not visit the bald eagle.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is not red.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle visits the dog.[(triple4)] The bear visits the bald eagle.[(triple5)] The dog eats the tiger.[(triple6)] The dog is red.[(triple7)] The tiger does not visit the bear.[(triple12)] The tiger eats the bald eagle.[(triple8)] The tiger eats the bear.[(triple9)] The tiger eats the dog.[(triple10)] The tiger is not red.[(triple11)] @1: The dog eats the bear.[(((triple6) -> rule3) OR ((triple7) -> rule5))] The dog needs the bear.[(((triple10) -> rule1))] @2: The dog visits the tiger.[(((((triple10) -> rule1)) -> rule7))] @3: The tiger is kind.[(((((((triple10) -> rule1)) -> rule7)) -> rule6))]