The lion likes the tiger. The mouse is blue. The squirrel likes the tiger. The tiger does not need the lion. If something is big and it does not visit the lion then the lion does not like the squirrel. If something visits the lion then it is young. If something needs the lion then the lion does not visit the tiger. If something visits the tiger then the tiger likes the squirrel. If something likes the tiger and it is not blue then it is not kind. If something needs the mouse then it does not visit the tiger. If something likes the mouse then the mouse does not need the squirrel. If something likes the tiger then it is big.
The squirrel does not like the tiger.
@0: The lion likes the tiger.[(triple1)] The mouse is blue.[(triple2)] The squirrel likes the tiger.[(triple3)] The tiger does not need the lion.[(triple4)] @1: The lion is big.[(((triple1) -> rule8))] The squirrel is big.[(((triple3) -> rule8))]