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