The cat is big. The cat does not like the lion. The cat likes the mouse. The lion is not round. The lion likes the tiger. The lion needs the cat. The mouse does not eat the cat. The mouse eats the lion. The mouse eats the tiger. The mouse likes the cat. The mouse likes the tiger. The tiger is cold. The tiger likes the cat. The tiger needs the mouse. If someone needs the cat then the cat is kind. If someone is round then they do not like the cat. If someone needs the lion then the lion is cold. If someone needs the mouse and they eat the mouse then they do not like the lion. If someone eats the tiger and the tiger eats the mouse then the mouse needs the lion. If someone needs the cat and they are round then they need the mouse. If someone eats the mouse then they are kind. If someone is cold then they eat the mouse. If the lion is big and the lion likes the cat then the lion does not eat the mouse.
The mouse is not kind.
@0: The cat does not like the lion.[(triple2)] The cat is big.[(triple1)] The cat likes the mouse.[(triple3)] The lion is not round.[(triple4)] The lion likes the tiger.[(triple5)] The lion needs the cat.[(triple6)] The mouse does not eat the cat.[(triple7)] The mouse eats the lion.[(triple8)] The mouse eats the tiger.[(triple9)] The mouse likes the cat.[(triple10)] The mouse likes the tiger.[(triple11)] The tiger is cold.[(triple12)] The tiger likes the cat.[(triple13)] The tiger needs the mouse.[(triple14)] @1: The cat is kind.[(((triple6) -> rule1))] The tiger eats the mouse.[(((triple12) -> rule8))] @2: The mouse needs the lion.[(((triple9 ((triple12) -> rule8)) -> rule5))] The tiger does not like the lion.[(((triple14 ((triple12) -> rule8)) -> rule4))] The tiger is kind.[(((((triple12) -> rule8)) -> rule7))] @3: The lion is cold.[(((((triple9 ((triple12) -> rule8)) -> rule5)) -> rule3))] @4: The lion eats the mouse.[(((((((triple9 ((triple12) -> rule8)) -> rule5)) -> rule3)) -> rule8))] @5: The lion is kind.[(((((((((triple9 ((triple12) -> rule8)) -> rule5)) -> rule3)) -> rule8)) -> rule7))]