The cat is young. The lion does not see the tiger. The mouse is nice. The tiger does not see the lion. If someone eats the tiger and they are rough then they are kind. If someone eats the mouse then they see the lion. If someone sees the cat then they do not see the mouse. If someone is rough and not kind then they are not young. If someone needs the cat and the cat is not blue then the cat does not need the mouse. If someone is nice then they do not need the cat. If someone is nice and they do not see the tiger then they do not eat the cat. If someone eats the cat and they do not see the mouse then the mouse is nice.
The tiger is not kind.
@0: The cat is young.[(triple1)] The lion does not see the tiger.[(triple2)] The mouse is nice.[(triple3)] The tiger does not see the lion.[(triple4)] @1: The mouse does not need the cat.[(((triple3) -> rule6))]