The bear is kind. The bear is round. The bear likes the mouse. The bear sees the lion. The bear sees the mouse. The lion is kind. The lion visits the bear. The lion visits the mouse. The mouse is big. The mouse is kind. The mouse sees the bear. The mouse sees the lion. If something likes the bear and the bear is round then it likes the lion. If something sees the mouse then the mouse visits the bear. If something is kind and it sees the lion then the lion is kind. If something visits the mouse then the mouse visits the bear. If the mouse likes the lion and the lion is nice then the mouse sees the bear. If something sees the mouse then it is big.
The mouse does not see the mouse.
@0: The bear is kind.[(triple1)] The bear is round.[(triple2)] The bear likes the mouse.[(triple3)] The bear sees the lion.[(triple4)] The bear sees the mouse.[(triple5)] The lion is kind.[(triple6 OR ((triple1 triple4) -> rule3) OR ((triple10 triple12) -> rule3))] The lion visits the bear.[(triple7)] The lion visits the mouse.[(triple8)] The mouse is big.[(triple9)] The mouse is kind.[(triple10)] The mouse sees the bear.[(triple11)] The mouse sees the lion.[(triple12)] @1: The bear is big.[(((triple5) -> rule6))] The mouse visits the bear.[(((triple5) -> rule2) OR ((triple8) -> rule4))]