The bear likes the mouse. The bear sees the mouse. The mouse sees the tiger. The squirrel is nice. The squirrel is young. The squirrel sees the bear. The tiger likes the mouse. The tiger sees the bear. The tiger sees the mouse. The tiger visits the mouse. If someone is green and they see the tiger then they see the bear. If someone sees the bear then the bear likes the mouse. If someone sees the tiger and the tiger likes the bear then they visit the bear. If the bear likes the squirrel then the squirrel visits the tiger. If the tiger visits the bear then the tiger likes the mouse. If someone visits the squirrel then they see the bear.
The mouse visits the mouse.
@0: The bear likes the mouse.[(triple1 OR ((triple6) -> rule2) OR ((triple8) -> rule2))] The bear sees the mouse.[(triple2)] The mouse sees the tiger.[(triple3)] The squirrel is nice.[(triple4)] The squirrel is young.[(triple5)] The squirrel sees the bear.[(triple6)] The tiger likes the mouse.[(triple7)] The tiger sees the bear.[(triple8)] The tiger sees the mouse.[(triple9)] The tiger visits the mouse.[(triple10)]