The lion chases the mouse. The lion does not chase the tiger. The lion does not eat the mouse. The lion does not eat the tiger. The lion is not big. The lion is blue. The lion is young. The lion needs the mouse. The lion needs the tiger. The mouse eats the lion. The mouse is big. The mouse is not red. The mouse needs the tiger. The tiger is red. The tiger needs the lion. The tiger needs the mouse. If someone needs the lion and the lion chases the mouse then they chase the tiger. If the mouse eats the lion and the mouse is young then the mouse eats the tiger. If someone chases the mouse then they are nice. If someone eats the lion then the lion needs the mouse. If the tiger eats the mouse then the mouse chases the tiger. If someone is nice and not big then they are young. If someone eats the tiger then the tiger does not eat the mouse. If the mouse needs the tiger and the mouse is not blue then the mouse is not red.
The mouse does not eat the tiger.
@0: The lion chases the mouse.[(triple1)] The lion does not chase the tiger.[(triple2)] The lion does not eat the mouse.[(triple3)] The lion does not eat the tiger.[(triple4)] The lion is blue.[(triple6)] The lion is not big.[(triple5)] The lion is young.[(triple7 OR ((((triple1) -> rule3) triple5) -> rule6))] The lion needs the mouse.[(triple8 OR ((triple10) -> rule4))] The lion needs the tiger.[(triple9)] The mouse eats the lion.[(triple10)] The mouse is big.[(triple11)] The mouse is not red.[(triple12)] The mouse needs the tiger.[(triple13)] The tiger is red.[(triple14)] The tiger needs the lion.[(triple15)] The tiger needs the mouse.[(triple16)] @1: The lion is nice.[(((triple1) -> rule3))] The tiger chases the tiger.[(((triple15 triple1) -> rule1))]