The lion chases the mouse. The lion chases the squirrel. The lion is nice. The lion sees the mouse. The lion sees the squirrel. The lion visits the squirrel. The mouse chases the lion. The mouse is blue. The mouse sees the lion. The mouse sees the squirrel. The mouse visits the lion. The mouse visits the squirrel. The squirrel chases the lion. The squirrel is big. The squirrel sees the lion. If someone chases the mouse and the mouse visits the lion then the mouse sees the squirrel. If the mouse sees the lion then the lion visits the mouse. If someone is big and blue then they visit the squirrel. If someone visits the lion and the lion sees the mouse then they are nice. If someone sees the squirrel and they chase the lion then the lion chases the squirrel. If the lion sees the mouse then the mouse sees the squirrel.
The squirrel does not visit the squirrel.
@0: The lion chases the mouse.[(triple1)] The lion chases the squirrel.[(triple2 OR ((triple10 triple7) -> rule5) OR ((((triple4) -> rule6) triple7) -> rule5) OR ((((triple1 triple11) -> rule1) triple7) -> rule5))] The lion is nice.[(triple3)] The lion sees the mouse.[(triple4)] The lion sees the squirrel.[(triple5)] The lion visits the squirrel.[(triple6)] The mouse chases the lion.[(triple7)] The mouse is blue.[(triple8)] The mouse sees the lion.[(triple9)] The mouse sees the squirrel.[(triple10 OR ((triple4) -> rule6) OR ((triple1 triple11) -> rule1))] The mouse visits the lion.[(triple11)] The mouse visits the squirrel.[(triple12)] The squirrel chases the lion.[(triple13)] The squirrel is big.[(triple14)] The squirrel sees the lion.[(triple15)] @1: The lion visits the mouse.[(((triple9) -> rule2))] The mouse is nice.[(((triple11 triple4) -> rule4))]