The bear eats the tiger. The bear is not green. The bear is round. The bear sees the tiger. The bear visits the tiger. The tiger eats the bear. The tiger is big. The tiger is not green. The tiger is not red. The tiger is round. The tiger sees the bear. The tiger visits the bear. If the tiger is green and the tiger is round then the tiger does not eat the bear. If something is green and it does not visit the bear then the bear eats the tiger. If something visits the bear and the bear visits the tiger then it eats the tiger. If something eats the tiger and it does not visit the bear then the tiger is not green. If the tiger visits the bear and the tiger does not see the bear then the bear visits the tiger. If something eats the bear then the bear is round. If something is big and not green then it sees the tiger. If something is red then it does not see the tiger.
The tiger does not see the bear.
@0: The bear eats the tiger.[(triple1)] The bear is not green.[(triple2)] The bear is round.[(triple3 OR ((triple6) -> rule6))] The bear sees the tiger.[(triple4)] The bear visits the tiger.[(triple5)] The tiger eats the bear.[(triple6)] The tiger is big.[(triple7)] The tiger is not green.[(triple8)] The tiger is not red.[(triple9)] The tiger is round.[(triple10)] The tiger sees the bear.[(triple11)] The tiger visits the bear.[(triple12)] @1: The tiger eats the tiger.[(((triple12 triple5) -> rule3))] The tiger sees the tiger.[(((triple7 triple8) -> rule7))]