The bear chases the rabbit. The bear sees the rabbit. The bear sees the squirrel. The cow is blue. The cow does not visit the squirrel. The rabbit sees the cow. The squirrel chases the bear. If something sees the rabbit then it chases the bear. If something sees the rabbit and it does not visit the cow then the rabbit is red. If something is blue and it visits the cow then the cow visits the bear. If something is kind then it does not visit the bear. If something is young and blue then it sees the rabbit. If something sees the rabbit and the rabbit does not chase the bear then the rabbit does not see the cow.
The cow does not visit the bear.
@0: The bear chases the rabbit.[(triple1)] The bear sees the rabbit.[(triple2)] The bear sees the squirrel.[(triple3)] The cow does not visit the squirrel.[(triple5)] The cow is blue.[(triple4)] The rabbit sees the cow.[(triple6)] The squirrel chases the bear.[(triple7)] @1: The bear chases the bear.[(((triple2) -> rule1))]