The cow is nice. The cow sees the squirrel. The dog eats the mouse. The mouse eats the squirrel. The mouse visits the dog. The mouse visits the squirrel. The squirrel visits the dog. If something sees the cow and it eats the mouse then it sees the mouse. If something visits the cow and the cow sees the dog then the dog eats the mouse. If something eats the squirrel then the squirrel is round. If something is nice then it visits the cow. Nice things are kind. If something eats the mouse and the mouse eats the dog then it is young.
The cow is not kind.
@0: The cow is nice.[(triple1)] The cow sees the squirrel.[(triple2)] The dog eats the mouse.[(triple3)] The mouse eats the squirrel.[(triple4)] The mouse visits the dog.[(triple5)] The mouse visits the squirrel.[(triple6)] The squirrel visits the dog.[(triple7)] @1: The cow is kind.[(((triple1) -> rule5))] The cow visits the cow.[(((triple1) -> rule4))] The squirrel is round.[(((triple4) -> rule3))]