The cow chases the mouse. The cow chases the rabbit. The cow sees the mouse. The cow visits the mouse. The mouse chases the rabbit. The mouse visits the rabbit. The rabbit is kind. If something chases the rabbit and the rabbit chases the cow then the cow sees the rabbit. If something sees the cow then the cow chases the rabbit. If something is big then it chases the mouse. If the rabbit sees the mouse then the rabbit is cold. If something is green then it chases the rabbit. If something sees the rabbit then it visits the mouse. If the mouse sees the rabbit then the mouse is rough. If something chases the mouse then it is rough.
The cow chases the rabbit.
@0: The cow chases the mouse.[(triple1)] The cow chases the rabbit.[(triple2)] The cow sees the mouse.[(triple3)] The cow visits the mouse.[(triple4)] The mouse chases the rabbit.[(triple5)] The mouse visits the rabbit.[(triple6)] The rabbit is kind.[(triple7)] @1: The cow is rough.[(((triple1) -> rule8))]