The dog likes the mouse. The mouse eats the squirrel. The rabbit is red. The squirrel visits the dog. If someone is red and they do not visit the rabbit then the rabbit does not visit the dog. If the mouse eats the squirrel then the mouse likes the rabbit. If someone likes the rabbit and they are not green then they like the dog.
The mouse likes the rabbit.
@0: The dog likes the mouse.[(triple1)] The mouse eats the squirrel.[(triple2)] The rabbit is red.[(triple3)] The squirrel visits the dog.[(triple4)] @1: The mouse likes the rabbit.[(((triple2) -> rule2))]