The cat eats the lion. The cat does not need the mouse. The lion is kind. The mouse chases the lion. The mouse needs the lion. The tiger eats the mouse. The tiger is rough. If the cat does not need the tiger then the cat does not chase the mouse. If the tiger does not eat the cat then the cat chases the mouse. If someone needs the tiger then the tiger needs the cat. All young people are rough. If the lion is cold and the tiger does not need the lion then the tiger does not chase the cat. If someone eats the mouse then they are cold.
The mouse is not cold.
@0: The cat does not need the mouse.[(triple2)] The cat eats the lion.[(triple1)] The lion is kind.[(triple3)] The mouse chases the lion.[(triple4)] The mouse needs the lion.[(triple5)] The tiger eats the mouse.[(triple6)] The tiger is rough.[(triple7)] @1: The tiger is cold.[(((triple6) -> rule6))]