The bear visits the tiger. The mouse visits the bear. The mouse visits the tiger. The tiger is young. The tiger sees the bear. The tiger sees the mouse. The tiger visits the bear. If something eats the tiger then it visits the bear. If something visits the bear and the bear visits the tiger then the bear visits the mouse. If something eats the bear and the bear sees the mouse then the mouse sees the tiger. If something eats the mouse then the mouse visits the bear. If the bear eats the mouse then the mouse is green. If something eats the bear then the bear is young. If something sees the bear then the bear eats the tiger. If something eats the tiger and the tiger visits the bear then it eats the mouse.
The bear does not visit the mouse.
@0: The bear visits the tiger.[(triple1)] The mouse visits the bear.[(triple2 OR ((((((triple5) -> rule7) triple7) -> rule8)) -> rule4))] The mouse visits the tiger.[(triple3)] The tiger is young.[(triple4)] The tiger sees the bear.[(triple5)] The tiger sees the mouse.[(triple6)] The tiger visits the bear.[(triple7)] @1: The bear eats the tiger.[(((triple5) -> rule7))] The bear visits the mouse.[(((triple2 triple1) -> rule2) OR ((triple7 triple1) -> rule2) OR ((((((triple5) -> rule7)) -> rule1) triple1) -> rule2) OR ((((((((triple5) -> rule7) triple7) -> rule8)) -> rule4) triple1) -> rule2))] @2: The bear eats the mouse.[(((((triple5) -> rule7) triple7) -> rule8))] The bear visits the bear.[(((((triple5) -> rule7)) -> rule1))] @3: The mouse is green.[(((((((triple5) -> rule7) triple7) -> rule8)) -> rule5))]