The lion chases the mouse. The lion does not chase the squirrel. The lion is kind. The lion is red. The lion likes the mouse. The mouse is nice. The mouse is not young. The mouse does not like the squirrel. The squirrel chases the tiger. The squirrel likes the lion. The squirrel visits the tiger. The tiger chases the lion. The tiger likes the lion. The tiger likes the mouse. The tiger likes the squirrel. If the mouse likes the lion and the mouse does not visit the tiger then the tiger chases the mouse. All nice people are kind. If someone is nice and they chase the squirrel then they visit the mouse. If someone is kind then they like the tiger. If someone likes the squirrel then they are nice. If someone visits the tiger and they are not rough then the tiger chases the squirrel. If the mouse visits the tiger and the mouse does not chase the squirrel then the tiger is not young. If someone likes the tiger and the tiger does not visit the lion then the lion is kind.
The squirrel is rough.
@0: The lion chases the mouse.[(triple1)] The lion does not chase the squirrel.[(triple2)] The lion is kind.[(triple3)] The lion is red.[(triple4)] The lion likes the mouse.[(triple5)] The mouse does not like the squirrel.[(triple8)] The mouse is nice.[(triple6)] The mouse is not young.[(triple7)] The squirrel chases the tiger.[(triple9)] The squirrel likes the lion.[(triple10)] The squirrel visits the tiger.[(triple11)] The tiger chases the lion.[(triple12)] The tiger likes the lion.[(triple13)] The tiger likes the mouse.[(triple14)] The tiger likes the squirrel.[(triple15)] @1: The lion likes the tiger.[(((triple3) -> rule4))] The mouse is kind.[(((triple6) -> rule2))] The tiger is nice.[(((triple15) -> rule5))] @2: The mouse likes the tiger.[(((((triple6) -> rule2)) -> rule4))] The tiger is kind.[(((((triple15) -> rule5)) -> rule2))] @3: The tiger likes the tiger.[(((((((triple15) -> rule5)) -> rule2)) -> rule4))]