The lion needs the rabbit. The mouse visits the lion. The rabbit is red. The tiger is nice. If someone visits the lion then the lion needs the mouse. If someone likes the lion then the lion is blue. If someone needs the tiger and the tiger is kind then they are rough. If someone is nice then they like the rabbit. If someone is blue and kind then they visit the rabbit. If someone needs the mouse then the mouse needs the lion. If the lion likes the tiger then the lion likes the mouse. If someone likes the lion and the lion needs the mouse then the lion is rough.
The rabbit is not red.
@0: The lion needs the rabbit.[(triple1)] The mouse visits the lion.[(triple2)] The rabbit is red.[(triple3)] The tiger is nice.[(triple4)] @1: The lion needs the mouse.[(((triple2) -> rule1))] The tiger likes the rabbit.[(((triple4) -> rule4))] @2: The mouse needs the lion.[(((((triple2) -> rule1)) -> rule6))]