The bear chases the dog. The bear likes the tiger. The dog chases the tiger. The dog is cold. The dog is red. The dog likes the bear. The dog sees the bear. The tiger chases the dog. The tiger is cold. The tiger likes the bear. The tiger likes the dog. The tiger sees the bear. If someone sees the bear and the bear is cold then they see the dog. If the dog sees the bear and the dog is kind then the dog chases the tiger. If someone is round then they see the dog. If someone is nice then they are kind. If someone is cold then they chase the dog. If someone is red and they chase the dog then the dog likes the bear. If someone is round and they see the tiger then they chase the dog. If the tiger is kind and the tiger likes the dog then the tiger likes the bear.
The tiger chases the dog.
@0: The bear chases the dog.[(triple1)] The bear likes the tiger.[(triple2)] The dog chases the tiger.[(triple3)] The dog is cold.[(triple4)] The dog is red.[(triple5)] The dog likes the bear.[(triple6 OR ((triple5 ((triple4) -> rule5)) -> rule6))] The dog sees the bear.[(triple7)] The tiger chases the dog.[(triple8 OR ((triple9) -> rule5))] The tiger is cold.[(triple9)] The tiger likes the bear.[(triple10)] The tiger likes the dog.[(triple11)] The tiger sees the bear.[(triple12)] @1: The dog chases the dog.[(((triple4) -> rule5))]