The cow likes the mouse. The cow needs the rabbit. The cow visits the rabbit. The mouse is blue. The mouse is not cold. The mouse is kind. The rabbit is not round. The rabbit needs the cow. The rabbit visits the cow. The rabbit visits the mouse. If something visits the cow then the cow is blue.
The mouse does not visit the cow.
@0: The cow likes the mouse.[(triple1)] The cow needs the rabbit.[(triple2)] The cow visits the rabbit.[(triple3)] The mouse is blue.[(triple4)] The mouse is kind.[(triple6)] The mouse is not cold.[(triple5)] The rabbit is not round.[(triple7)] The rabbit needs the cow.[(triple8)] The rabbit visits the cow.[(triple9)] The rabbit visits the mouse.[(triple10)] @1: The cow is blue.[(((triple9) -> rule1))]