The bald eagle likes the tiger. The bald eagle visits the rabbit. The bald eagle visits the tiger. The bear is big. The bear is cold. The bear is red. The bear likes the bald eagle. The bear sees the bald eagle. The bear visits the rabbit. The rabbit likes the bald eagle. The rabbit sees the bear. The rabbit visits the bald eagle. The tiger is big. The tiger is red. The tiger sees the rabbit. The tiger visits the rabbit. If something sees the rabbit then the rabbit visits the bear.
The bear sees the tiger.
@0: The bald eagle likes the tiger.[(triple1)] The bald eagle visits the rabbit.[(triple2)] The bald eagle visits the tiger.[(triple3)] The bear is big.[(triple4)] The bear is cold.[(triple5)] The bear is red.[(triple6)] The bear likes the bald eagle.[(triple7)] The bear sees the bald eagle.[(triple8)] The bear visits the rabbit.[(triple9)] The rabbit likes the bald eagle.[(triple10)] The rabbit sees the bear.[(triple11)] The rabbit visits the bald eagle.[(triple12)] The tiger is big.[(triple13)] The tiger is red.[(triple14)] The tiger sees the rabbit.[(triple15)] The tiger visits the rabbit.[(triple16)] @1: The rabbit visits the bear.[(((triple15) -> rule1))]