The mouse likes the tiger. The mouse needs the rabbit. The mouse needs the tiger. The rabbit is big. The rabbit needs the tiger. The tiger is cold. The tiger visits the rabbit. If the rabbit is kind and the rabbit needs the mouse then the rabbit is nice. If someone likes the mouse then they are cold. If someone is nice then they visit the mouse. If someone visits the mouse then they need the mouse. If someone visits the rabbit then the rabbit likes the mouse. If someone visits the tiger and the tiger visits the mouse then they like the mouse.
The rabbit likes the mouse.
@0: The mouse likes the tiger.[(triple1)] The mouse needs the rabbit.[(triple2)] The mouse needs the tiger.[(triple3)] The rabbit is big.[(triple4)] The rabbit needs the tiger.[(triple5)] The tiger is cold.[(triple6)] The tiger visits the rabbit.[(triple7)] @1: The rabbit likes the mouse.[(((triple7) -> rule5))] @2: The rabbit is cold.[(((((triple7) -> rule5)) -> rule2))]