The cow sees the lion. The lion visits the mouse. The mouse visits the cow. If something chases the cow then it visits the mouse. If something sees the lion then it visits the lion. If something visits the mouse and it is not rough then the mouse is big. If something visits the mouse and the mouse sees the cow then it chases the cow. If something visits the cow then it is not big. If the mouse is not round then the mouse visits the lion.
The mouse visits the mouse.
@0: The cow sees the lion.[(triple1)] The lion visits the mouse.[(triple2)] The mouse visits the cow.[(triple3)] @1: The cow visits the lion.[(((triple1) -> rule2))] The mouse is not big.[(((triple3) -> rule5))]