The cow is kind. The cow likes the mouse. The cow likes the squirrel. The cow sees the dog. The dog sees the cow. The mouse is red. The mouse likes the cow. The mouse sees the squirrel. The mouse visits the squirrel. The squirrel visits the cow. If something visits the cow and the cow sees the squirrel then the cow is red. If something visits the dog and it sees the mouse then the mouse likes the dog. If something sees the cow then the cow likes the dog.
The mouse does not like the dog.
@0: The cow is kind.[(triple1)] The cow likes the mouse.[(triple2)] The cow likes the squirrel.[(triple3)] The cow sees the dog.[(triple4)] The dog sees the cow.[(triple5)] The mouse is red.[(triple6)] The mouse likes the cow.[(triple7)] The mouse sees the squirrel.[(triple8)] The mouse visits the squirrel.[(triple9)] The squirrel visits the cow.[(triple10)] @1: The cow likes the dog.[(((triple5) -> rule3))]