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