The bear chases the dog. The bear is young. The bear likes the mouse. The bear likes the tiger. The bear visits the dog. The dog is nice. The dog visits the bear. The dog visits the mouse. The mouse chases the bear. The mouse is red. The mouse likes the dog. The mouse visits the tiger. The tiger chases the dog. The tiger likes the bear. The tiger likes the mouse. The tiger visits the bear. If someone chases the tiger and the tiger is blue then they are round. If the mouse is blue and the mouse is nice then the mouse likes the bear. If someone chases the bear and they visit the dog then they are nice. If someone is nice and they visit the bear then the bear is round. If someone is round then they visit the mouse. If someone is young and blue then they like the dog. If the tiger is red then the tiger chases the dog. If the bear is young and the bear visits the tiger then the tiger chases the bear.
The tiger does not like the dog.
@0: The bear chases the dog.[(triple1)] The bear is young.[(triple2)] The bear likes the mouse.[(triple3)] The bear likes the tiger.[(triple4)] The bear visits the dog.[(triple5)] The dog is nice.[(triple6)] The dog visits the bear.[(triple7)] The dog visits the mouse.[(triple8)] The mouse chases the bear.[(triple9)] The mouse is red.[(triple10)] The mouse likes the dog.[(triple11)] The mouse visits the tiger.[(triple12)] The tiger chases the dog.[(triple13)] The tiger likes the bear.[(triple14)] The tiger likes the mouse.[(triple15)] The tiger visits the bear.[(triple16)] @1: The bear is round.[(((triple6 triple7) -> rule4))] @2: The bear visits the mouse.[(((((triple6 triple7) -> rule4)) -> rule5))]