The bear chases the dog. The dog eats the rabbit. The rabbit eats the dog. All red things are cold. If the bear visits the rabbit and the bear does not eat the dog then the dog does not visit the rabbit. If the dog eats the rabbit then the dog does not visit the rabbit. If the dog chases the bear then the bear chases the rabbit. If something visits the rabbit and it eats the dog then the dog eats the rabbit. If something is green then it eats the bear. If the dog does not visit the rabbit then the dog is green. If something eats the rabbit and it is not green then it visits the bear.
The dog is big.
@0: The bear chases the dog.[(triple1)] The dog eats the rabbit.[(triple2)] The rabbit eats the dog.[(triple3)] @1: The dog does not visit the rabbit.[(((triple2) -> rule3))] @2: The dog is green.[(((((triple2) -> rule3)) -> rule7))] @3: The dog eats the bear.[(((((((triple2) -> rule3)) -> rule7)) -> rule6))]