The mouse is nice. The mouse likes the rabbit. The rabbit is young. If something is nice and it likes the rabbit then the rabbit likes the mouse. If something is round then it likes the mouse. If the rabbit visits the mouse and the mouse sees the rabbit then the mouse likes the rabbit.
The mouse is nice.
@0: The mouse is nice.[(triple1)] The mouse likes the rabbit.[(triple2)] The rabbit is young.[(triple3)] @1: The rabbit likes the mouse.[(((triple1 triple2) -> rule1))]