The bear visits the cow. The cow sees the bear. The mouse visits the bear. The rabbit visits the cow. If something chases the mouse then the mouse sees the cow. If something is blue and kind then it sees the rabbit. If something visits the mouse and the mouse is kind then the mouse is green. If something sees the bear then it is blue. If something is big and it sees the mouse then it is red. If something sees the rabbit then it visits the rabbit. If something chases the bear and the bear is kind then the bear chases the mouse. If something sees the rabbit and it visits the mouse then the rabbit visits the mouse.
The bear visits the cow.
@0: The bear visits the cow.[(triple1)] The cow sees the bear.[(triple2)] The mouse visits the bear.[(triple3)] The rabbit visits the cow.[(triple4)] @1: The cow is blue.[(((triple2) -> rule4))]