The bear chases the dog. The bear likes the dog. The dog does not see the tiger. The rabbit chases the bear. The rabbit is not kind. The rabbit is red. The tiger chases the rabbit. If the rabbit is young then the rabbit does not chase the bear. If the tiger chases the dog and the dog likes the bear then the tiger does not see the rabbit. If the bear likes the rabbit and the bear is not young then the rabbit does not see the tiger. If something is round and it sees the bear then it sees the dog. If something chases the rabbit then it sees the rabbit. If something likes the dog and the dog is kind then the dog chases the bear.
The bear does not like the dog.
@0: The bear chases the dog.[(triple1)] The bear likes the dog.[(triple2)] The dog does not see the tiger.[(triple3)] The rabbit chases the bear.[(triple4)] The rabbit is not kind.[(triple5)] The rabbit is red.[(triple6)] The tiger chases the rabbit.[(triple7)] @1: The tiger sees the rabbit.[(((triple7) -> rule5))]