The lion chases the mouse. The lion does not chase the tiger. The lion eats the mouse. The lion eats the tiger. The lion is blue. The lion is cold. The lion is green. The mouse eats the lion. The mouse eats the tiger. The mouse is cold. The mouse is not green. The mouse is red. The mouse sees the lion. The tiger is blue. The tiger sees the mouse. If someone chases the tiger then the tiger is not cold. If someone sees the tiger and the tiger is not blue then they see the mouse. If someone chases the tiger and they are not red then they do not see the mouse. If someone chases the tiger and the tiger is cold then they do not eat the mouse. If someone chases the mouse then they do not see the lion. If someone eats the tiger and they do not see the lion then the tiger eats the lion. If the mouse is blue and the mouse does not see the lion then the mouse eats the tiger. If someone eats the lion then they chase the lion.
The tiger sees the tiger.
@0: The lion chases the mouse.[(triple1)] The lion does not chase the tiger.[(triple2)] The lion eats the mouse.[(triple3)] The lion eats the tiger.[(triple4)] The lion is blue.[(triple5)] The lion is cold.[(triple6)] The lion is green.[(triple7)] The mouse eats the lion.[(triple8)] The mouse eats the tiger.[(triple9)] The mouse is cold.[(triple10)] The mouse is not green.[(triple11)] The mouse is red.[(triple12)] The mouse sees the lion.[(triple13)] The tiger is blue.[(triple14)] The tiger sees the mouse.[(triple15)] @1: The lion does not see the lion.[(((triple1) -> rule5))] The mouse chases the lion.[(((triple8) -> rule8))] @2: The tiger eats the lion.[(((triple4 ((triple1) -> rule5)) -> rule6))] @3: The tiger chases the lion.[(((((triple4 ((triple1) -> rule5)) -> rule6)) -> rule8))]