The bear chases the lion. The bear chases the tiger. The bear eats the lion. The bear is rough. The lion eats the bear. The lion eats the tiger. The lion is big. The lion is rough. The tiger eats the bear. The tiger is green. If someone chases the bear and the bear chases the lion then the bear is green. If someone eats the tiger and the tiger chases the bear then the tiger sees the bear. If someone eats the tiger then they see the lion. If the tiger sees the bear and the tiger eats the lion then the tiger chases the bear. If someone sees the bear then the bear sees the tiger. If someone eats the lion then the lion sees the bear.
The bear chases the tiger.
@0: The bear chases the lion.[(triple1)] The bear chases the tiger.[(triple2)] The bear eats the lion.[(triple3)] The bear is rough.[(triple4)] The lion eats the bear.[(triple5)] The lion eats the tiger.[(triple6)] The lion is big.[(triple7)] The lion is rough.[(triple8)] The tiger eats the bear.[(triple9)] The tiger is green.[(triple10)] @1: The lion sees the bear.[(((triple3) -> rule6))] The lion sees the lion.[(((triple6) -> rule3))] @2: The bear sees the tiger.[(((((triple3) -> rule6)) -> rule5))]