The cow sees the dog. The cow sees the rabbit. The dog sees the squirrel. The rabbit is nice. The rabbit visits the dog. The rabbit visits the squirrel. The squirrel sees the cow. If something sees the cow then the cow sees the squirrel. If something likes the rabbit then the rabbit likes the squirrel. If something is big and it likes the dog then the dog is nice. If the dog sees the rabbit and the rabbit visits the dog then the dog visits the squirrel. If something sees the squirrel and it is kind then the squirrel visits the cow. If something sees the squirrel and it sees the dog then it visits the dog. If something likes the rabbit then the rabbit is round. If something is nice then it visits the cow.
The cow does not see the rabbit.
@0: The cow sees the dog.[(triple1)] The cow sees the rabbit.[(triple2)] The dog sees the squirrel.[(triple3)] The rabbit is nice.[(triple4)] The rabbit visits the dog.[(triple5)] The rabbit visits the squirrel.[(triple6)] The squirrel sees the cow.[(triple7)] @1: The cow sees the squirrel.[(((triple7) -> rule1))] The rabbit visits the cow.[(((triple4) -> rule8))] @2: The cow visits the dog.[(((((triple7) -> rule1) triple1) -> rule6))]