The bear eats the cat. The bear is green. The bear visits the cat. The cat eats the dog. The cat is cold. The cat visits the bear. The dog chases the bear. The dog does not eat the cat. The dog is green. The dog visits the cat. If the cat visits the bear then the bear is not rough. If something is kind and it does not chase the dog then the dog eats the bear.
The dog does not eat the bear.
@0: The bear eats the cat.[(triple1)] The bear is green.[(triple2)] The bear visits the cat.[(triple3)] The cat eats the dog.[(triple4)] The cat is cold.[(triple5)] The cat visits the bear.[(triple6)] The dog chases the bear.[(triple7)] The dog does not eat the cat.[(triple8)] The dog is green.[(triple9)] The dog visits the cat.[(triple10)] @1: The bear is not rough.[(((triple6) -> rule1))]