The cow sees the rabbit. The mouse eats the cow. The rabbit sees the mouse. If someone sees the rabbit then the rabbit visits the cow. If someone sees the rabbit and they are kind then the rabbit is nice. If someone sees the cow and they see the mouse then they are red. If someone is young and not round then they visit the cow. If someone sees the cow and they see the mouse then the mouse is not kind. If the rabbit sees the cow and the rabbit does not eat the mouse then the mouse does not eat the cow. If someone sees the cow then the cow eats the mouse. If someone visits the cow then the cow is kind.
The cow does not see the rabbit.
@0: The cow sees the rabbit.[(triple1)] The mouse eats the cow.[(triple2)] The rabbit sees the mouse.[(triple3)] @1: The rabbit visits the cow.[(((triple1) -> rule1))] @2: The cow is kind.[(((((triple1) -> rule1)) -> rule8))] @3: The rabbit is nice.[(((triple1 ((((triple1) -> rule1)) -> rule8)) -> rule2))]