The lion chases the mouse. The lion is blue. The mouse chases the lion. The mouse is cold. The mouse is red. The tiger chases the lion. The tiger is green. The tiger is young. The tiger needs the lion. The tiger sees the lion. If someone needs the tiger and the tiger is red then the tiger chases the lion. If someone sees the tiger then they need the mouse. If the mouse needs the lion and the mouse needs the tiger then the lion chases the tiger. If someone needs the tiger and the tiger needs the mouse then the mouse chases the tiger. If the tiger sees the lion and the tiger needs the mouse then the tiger sees the mouse. If someone is green then they are blue. If someone sees the mouse then they are young. If someone chases the lion then they need the tiger.
The mouse chases the mouse.
@0: The lion chases the mouse.[(triple1)] The lion is blue.[(triple2)] The mouse chases the lion.[(triple3)] The mouse is cold.[(triple4)] The mouse is red.[(triple5)] The tiger chases the lion.[(triple6)] The tiger is green.[(triple7)] The tiger is young.[(triple8)] The tiger needs the lion.[(triple9)] The tiger sees the lion.[(triple10)] @1: The mouse needs the tiger.[(((triple3) -> rule8))] The tiger is blue.[(((triple7) -> rule6))] The tiger needs the tiger.[(((triple6) -> rule8))]