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