The lion is cold. The lion does not need the mouse. The lion visits the squirrel. The mouse is cold. The mouse does not visit the squirrel. The rabbit is cold. The rabbit is rough. The rabbit does not need the lion. The rabbit does not visit the squirrel. The squirrel is kind. The squirrel needs the mouse. The squirrel needs the rabbit. The squirrel does not see the lion. The squirrel does not see the rabbit. If something needs the rabbit and the rabbit sees the mouse then the mouse does not see the lion. If something is rough then it visits the mouse. If something needs the rabbit and it visits the mouse then the mouse needs the rabbit. If something needs the rabbit and the rabbit is cold then it is rough. If something needs the rabbit then the rabbit needs the squirrel. If the squirrel sees the lion and the squirrel is not green then the lion needs the squirrel. If something is big then it visits the lion. If something visits the squirrel and the squirrel sees the lion then the lion is not kind.
The lion visits the lion.
@0: The lion does not need the mouse.[(triple2)] The lion is cold.[(triple1)] The lion visits the squirrel.[(triple3)] The mouse does not visit the squirrel.[(triple5)] The mouse is cold.[(triple4)] The rabbit does not need the lion.[(triple8)] The rabbit does not visit the squirrel.[(triple9)] The rabbit is cold.[(triple6)] The rabbit is rough.[(triple7)] The squirrel does not see the lion.[(triple13)] The squirrel does not see the rabbit.[(triple14)] The squirrel is kind.[(triple10)] The squirrel needs the mouse.[(triple11)] The squirrel needs the rabbit.[(triple12)] @1: The rabbit needs the squirrel.[(((triple12) -> rule5) OR ((((triple12 ((((triple12 triple6) -> rule4)) -> rule2)) -> rule3)) -> rule5))] The rabbit visits the mouse.[(((triple7) -> rule2))] The squirrel is rough.[(((triple12 triple6) -> rule4))] @2: The squirrel visits the mouse.[(((((triple12 triple6) -> rule4)) -> rule2))] @3: The mouse needs the rabbit.[(((triple12 ((((triple12 triple6) -> rule4)) -> rule2)) -> rule3))] @4: The mouse is rough.[(((((triple12 ((((triple12 triple6) -> rule4)) -> rule2)) -> rule3) triple6) -> rule4))] @5: The mouse visits the mouse.[(((((((triple12 ((((triple12 triple6) -> rule4)) -> rule2)) -> rule3) triple6) -> rule4)) -> rule2))]