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