The bear chases the dog. The bear is green. The bear is not round. The bear likes the lion. The bear visits the dog. The bear visits the lion. The dog chases the bear. The dog chases the lion. The dog is green. The lion chases the bear. The lion chases the dog. The lion is green. The lion is not rough. The lion likes the bear. The lion does not visit the bear. If something visits the lion and the lion is cold then it is not rough. If something likes the bear and the bear visits the dog then the dog visits the bear. If the bear does not like the dog then the bear is red. If the bear is round then the bear does not chase the lion. If something visits the bear then the bear chases the lion. If the dog is cold and the dog chases the bear then the dog chases the lion.
The bear is cold.
@0: The bear chases the dog.[(triple1)] The bear is green.[(triple2)] The bear is not round.[(triple3)] The bear likes the lion.[(triple4)] The bear visits the dog.[(triple5)] The bear visits the lion.[(triple6)] The dog chases the bear.[(triple7)] The dog chases the lion.[(triple8)] The dog is green.[(triple9)] The lion chases the bear.[(triple10)] The lion chases the dog.[(triple11)] The lion does not visit the bear.[(triple15)] The lion is green.[(triple12)] The lion is not rough.[(triple13)] The lion likes the bear.[(triple14)] @1: The dog visits the bear.[(((triple14 triple5) -> rule2))] @2: The bear chases the lion.[(((((triple14 triple5) -> rule2)) -> rule5))]