The bear eats the cat. The bear eats the cow. The bear is green. The bear is nice. The bear sees the dog. The bear visits the dog. The cat does not eat the dog. The cow eats the cat. The cow eats the dog. The cow is nice. The cow sees the bear. The cow visits the cat. The dog is not big. The dog sees the cat. The dog does not visit the cow. If something visits the cat and it is not nice then the cat eats the bear. If the bear sees the cat then the cat visits the bear. If the dog eats the cat and the cat sees the dog then the cat does not eat the cow. If something is green and red then it sees the cat. If the cow is big and the dog does not visit the cow then the dog is red. If something eats the cow and the cow eats the bear then the bear does not see the cow. If the bear sees the dog and the dog sees the cat then the bear does not visit the cow. Nice, green things are kind.
The cat eats the cow.
@0: The bear eats the cat.[(triple1)] The bear eats the cow.[(triple2)] The bear is green.[(triple3)] The bear is nice.[(triple4)] The bear sees the dog.[(triple5)] The bear visits the dog.[(triple6)] The cat does not eat the dog.[(triple7)] The cow eats the cat.[(triple8)] The cow eats the dog.[(triple9)] The cow is nice.[(triple10)] The cow sees the bear.[(triple11)] The cow visits the cat.[(triple12)] The dog does not visit the cow.[(triple15)] The dog is not big.[(triple13)] The dog sees the cat.[(triple14)] @1: The bear does not visit the cow.[(((triple5 triple14) -> rule7))] The bear is kind.[(((triple4 triple3) -> rule8))]