The lion is cold. The lion is green. The lion needs the mouse. The lion needs the rabbit. The mouse eats the lion. The rabbit eats the lion. The rabbit is cold. The rabbit sees the lion. The tiger is kind. The tiger needs the lion. If someone sees the lion and they are red then they eat the tiger. If someone eats the tiger and the tiger eats the mouse then the tiger is kind. If someone eats the tiger and they are kind then they are red. If someone eats the rabbit then they see the tiger. If someone eats the lion then the lion eats the mouse. If someone needs the rabbit then the rabbit needs the tiger. If someone needs the lion then they are young. If someone sees the mouse then they eat the mouse.
The tiger does not eat the mouse.
@0: The lion is cold.[(triple1)] The lion is green.[(triple2)] The lion needs the mouse.[(triple3)] The lion needs the rabbit.[(triple4)] The mouse eats the lion.[(triple5)] The rabbit eats the lion.[(triple6)] The rabbit is cold.[(triple7)] The rabbit sees the lion.[(triple8)] The tiger is kind.[(triple9)] The tiger needs the lion.[(triple10)] @1: The lion eats the mouse.[(((triple5) -> rule5) OR ((triple6) -> rule5))] The rabbit needs the tiger.[(((triple4) -> rule6))] The tiger is young.[(((triple10) -> rule7))]