The mouse is big. The rabbit is nice. The rabbit likes the mouse. If the mouse likes the rabbit and the mouse is big then the mouse is nice. If someone likes the rabbit then they visit the rabbit. If someone visits the mouse then they like the mouse. If the mouse visits the rabbit and the mouse eats the rabbit then the mouse likes the rabbit. If the mouse likes the rabbit then the rabbit eats the mouse. If the rabbit likes the mouse then the rabbit is big.
The rabbit likes the mouse.
@0: The mouse is big.[(triple1)] The rabbit is nice.[(triple2)] The rabbit likes the mouse.[(triple3)] @1: The rabbit is big.[(((triple3) -> rule6))]