The cow likes the squirrel. The dog is blue. The rabbit eats the cow. The squirrel needs the rabbit. If something is blue then it eats the squirrel. If the rabbit is young then the rabbit likes the cow.
The rabbit does not like the cow.
@0: The cow likes the squirrel.[(triple1)] The dog is blue.[(triple2)] The rabbit eats the cow.[(triple3)] The squirrel needs the rabbit.[(triple4)] @1: The dog eats the squirrel.[(((triple2) -> rule1))]