The lion chases the tiger. The lion is cold. The lion is round. The lion likes the mouse. The lion likes the tiger. The mouse does not chase the lion. The mouse does not eat the lion. The mouse is blue. The mouse likes the lion. The mouse likes the tiger. The tiger chases the lion. The tiger chases the mouse. The tiger eats the mouse. The tiger is kind. The tiger likes the lion. The tiger likes the mouse. If someone is round and they chase the lion then they do not eat the lion. If the tiger likes the lion then the lion does not eat the tiger. If someone eats the lion and they are not round then the lion chases the tiger. If someone chases the tiger and they do not eat the tiger then they are rough. If the tiger eats the lion and the tiger does not chase the mouse then the lion chases the mouse. If the lion is round and the lion is rough then the lion does not chase the mouse.
The lion does not eat the tiger.
@0: The lion chases the tiger.[(triple1)] The lion is cold.[(triple2)] The lion is round.[(triple3)] The lion likes the mouse.[(triple4)] The lion likes the tiger.[(triple5)] The mouse does not chase the lion.[(triple6)] The mouse does not eat the lion.[(triple7)] The mouse is blue.[(triple8)] The mouse likes the lion.[(triple9)] The mouse likes the tiger.[(triple10)] The tiger chases the lion.[(triple11)] The tiger chases the mouse.[(triple12)] The tiger eats the mouse.[(triple13)] The tiger is kind.[(triple14)] The tiger likes the lion.[(triple15)] The tiger likes the mouse.[(triple16)] @1: The lion does not eat the tiger.[(((triple15) -> rule2))] @2: The lion is rough.[(((triple1 ((triple15) -> rule2)) -> rule4))] @3: The lion does not chase the mouse.[(((triple3 ((triple1 ((triple15) -> rule2)) -> rule4)) -> rule6))]