The cat is not red. The cat needs the mouse. The lion chases the rabbit. The lion is not red. The mouse does not need the cat. The rabbit is not young. The rabbit visits the lion. If the lion needs the cat then the cat does not visit the rabbit. If someone needs the mouse and they are young then the mouse is cold. If someone visits the mouse then they need the cat. If someone visits the lion then they need the rabbit. If someone chases the rabbit then the rabbit is cold. If the lion chases the rabbit then the lion visits the mouse.
The lion is red.
@0: The cat is not red.[(triple1)] The cat needs the mouse.[(triple2)] The lion chases the rabbit.[(triple3)] The lion is not red.[(triple4)] The mouse does not need the cat.[(triple5)] The rabbit is not young.[(triple6)] The rabbit visits the lion.[(triple7)] @1: The lion visits the mouse.[(((triple3) -> rule6))] The rabbit is cold.[(((triple3) -> rule5))] The rabbit needs the rabbit.[(((triple7) -> rule4))] @2: The lion needs the cat.[(((((triple3) -> rule6)) -> rule3))] @3: The cat does not visit the rabbit.[(((((((triple3) -> rule6)) -> rule3)) -> rule1))]