The bald eagle visits the bear. The bald eagle visits the lion. The bear is green. The lion is rough. The lion likes the bald eagle. The lion likes the bear. The tiger is rough. The tiger likes the bald eagle. The tiger likes the bear. The tiger sees the bear. If something likes the lion and it sees the bald eagle then the lion visits the bear. If the bear visits the lion then the bear is cold. If something sees the bald eagle and it visits the bald eagle then it visits the tiger. If the bear is cold then the bear is green. If something is green then it visits the bear. If something is rough and kind then it likes the tiger. If something is blue then it likes the bear. If the bald eagle is blue and the bald eagle likes the tiger then the tiger is cold.
The bear is green.
@0: The bald eagle visits the bear.[(triple1)] The bald eagle visits the lion.[(triple2)] The bear is green.[(triple3)] The lion is rough.[(triple4)] The lion likes the bald eagle.[(triple5)] The lion likes the bear.[(triple6)] The tiger is rough.[(triple7)] The tiger likes the bald eagle.[(triple8)] The tiger likes the bear.[(triple9)] The tiger sees the bear.[(triple10)] @1: The bear visits the bear.[(((triple3) -> rule5))]