The lion is big. The lion is blue. The lion is nice. The lion needs the mouse. The lion visits the mouse. The mouse is big. The mouse is nice. The mouse does not visit the tiger. The tiger is big. The tiger is blue. The tiger sees the lion. The tiger visits the mouse. If something sees the lion and it needs the mouse then the lion needs the tiger. If something visits the tiger and the tiger is nice then it needs the mouse. If something needs the mouse then the mouse is not blue. If something is blue and it visits the mouse then it sees the mouse. If the tiger is big then the tiger is rough. If something visits the mouse and it is nice then the mouse is nice.
The mouse is rough.
@0: The lion is big.[(triple1)] The lion is blue.[(triple2)] The lion is nice.[(triple3)] The lion needs the mouse.[(triple4)] The lion visits the mouse.[(triple5)] The mouse does not visit the tiger.[(triple8)] The mouse is big.[(triple6)] The mouse is nice.[(triple7 OR ((triple5 triple3) -> rule6))] The tiger is big.[(triple9)] The tiger is blue.[(triple10)] The tiger sees the lion.[(triple11)] The tiger visits the mouse.[(triple12)] @1: The lion sees the mouse.[(((triple2 triple5) -> rule4))] The mouse is not blue.[(((triple4) -> rule3))] The tiger is rough.[(((triple9) -> rule5))] The tiger sees the mouse.[(((triple10 triple12) -> rule4))]