The cow chases the lion. The cow is kind. The cow visits the dog. The dog eats the squirrel. The dog is nice. The dog does not visit the lion. The lion is rough. The lion is round. The lion visits the cow. The squirrel visits the dog. If something eats the dog and it is not blue then it does not eat the lion. If something is blue then it visits the squirrel. If something is nice then it visits the squirrel. If something visits the cow and the cow does not eat the dog then the dog is nice. If the cow visits the dog then the cow does not chase the squirrel. If something visits the cow and the cow does not eat the lion then the cow eats the squirrel.
The dog visits the lion.
@0: The cow chases the lion.[(triple1)] The cow is kind.[(triple2)] The cow visits the dog.[(triple3)] The dog does not visit the lion.[(triple6)] The dog eats the squirrel.[(triple4)] The dog is nice.[(triple5)] The lion is rough.[(triple7)] The lion is round.[(triple8)] The lion visits the cow.[(triple9)] The squirrel visits the dog.[(triple10)] @1: The cow does not chase the squirrel.[(((triple3) -> rule5))] The dog visits the squirrel.[(((triple5) -> rule3))]