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