The cat is rough. The cow visits the squirrel. The rabbit likes the cat. The squirrel likes the rabbit. If something eats the cow and it does not eat the rabbit then the cow is green. If something eats the squirrel and it does not like the cow then it is blue. If something likes the cat and it is cold then it is blue. If something eats the rabbit and it eats the cat then the rabbit is blue. If something visits the squirrel then it eats the cat. If something eats the cat and it likes the squirrel then the squirrel does not eat the cow.
The cow is blue.
@0: The cat is rough.[(triple1)] The cow visits the squirrel.[(triple2)] The rabbit likes the cat.[(triple3)] The squirrel likes the rabbit.[(triple4)] @1: The cow eats the cat.[(((triple2) -> rule5))]