The mouse chases the rabbit. The mouse is big. The mouse is young. The mouse visits the rabbit. The rabbit is kind. The rabbit needs the mouse. The rabbit visits the mouse. If something is kind then it needs the rabbit. If something is young then it visits the rabbit. If the rabbit is rough then the rabbit visits the mouse.
The rabbit chases the rabbit.
@0: The mouse chases the rabbit.[(triple1)] The mouse is big.[(triple2)] The mouse is young.[(triple3)] The mouse visits the rabbit.[(triple4 OR ((triple3) -> rule2))] The rabbit is kind.[(triple5)] The rabbit needs the mouse.[(triple6)] The rabbit visits the mouse.[(triple7)] @1: The rabbit needs the rabbit.[(((triple5) -> rule1))]