The bear is red. The bear is round. The bear sees the lion. The bear sees the mouse. The bear sees the tiger. The bear visits the lion. The lion is green. The lion likes the mouse. The lion likes the tiger. The lion visits the tiger. The mouse is green. The mouse is rough. The mouse likes the bear. The mouse sees the tiger. The tiger is rough. The tiger likes the bear. If something sees the lion and it is big then the lion visits the mouse. If something is round then it likes the lion. If something is rough and it visits the tiger then it visits the lion. If something visits the lion then the lion visits the mouse. If something likes the tiger and it visits the bear then the tiger sees the mouse. If something is green and rough then it likes the mouse. If something likes the mouse then the mouse is round. If something sees the lion and it is green then the lion sees the mouse.
The bear does not like the mouse.
@0: The bear is red.[(triple1)] The bear is round.[(triple2)] The bear sees the lion.[(triple3)] The bear sees the mouse.[(triple4)] The bear sees the tiger.[(triple5)] The bear visits the lion.[(triple6)] The lion is green.[(triple7)] The lion likes the mouse.[(triple8)] The lion likes the tiger.[(triple9)] The lion visits the tiger.[(triple10)] The mouse is green.[(triple11)] The mouse is rough.[(triple12)] The mouse likes the bear.[(triple13)] The mouse sees the tiger.[(triple14)] The tiger is rough.[(triple15)] The tiger likes the bear.[(triple16)] @1: The bear likes the lion.[(((triple2) -> rule2))] The lion visits the mouse.[(((triple6) -> rule4))] The mouse is round.[(((triple8) -> rule7) OR ((((triple11 triple12) -> rule6)) -> rule7))] The mouse likes the mouse.[(((triple11 triple12) -> rule6))] @2: The mouse likes the lion.[(((((triple8) -> rule7)) -> rule2) OR ((((((triple11 triple12) -> rule6)) -> rule7)) -> rule2))]