The bear chases the lion. The bear chases the tiger. The bear eats the lion. The bear is green. The bear is round. The lion chases the bear. The lion eats the bear. The lion is not big. The lion is red. The lion is rough. The lion is round. The lion sees the bear. The tiger is big. The tiger does not see the bear. The tiger does not see the lion. If someone eats the lion and they are not green then they are red. If someone is rough then they see the lion. If someone is round and they do not chase the bear then they eat the bear. If someone eats the tiger and they see the tiger then the tiger does not chase the lion. If someone eats the tiger then the tiger is red. If someone eats the bear then they do not eat the tiger.
The lion does not chase the bear.
@0: The bear chases the lion.[(triple1)] The bear chases the tiger.[(triple2)] The bear eats the lion.[(triple3)] The bear is green.[(triple4)] The bear is round.[(triple5)] The lion chases the bear.[(triple6)] The lion eats the bear.[(triple7)] The lion is not big.[(triple8)] The lion is red.[(triple9)] The lion is rough.[(triple10)] The lion is round.[(triple11)] The lion sees the bear.[(triple12)] The tiger does not see the bear.[(triple14)] The tiger does not see the lion.[(triple15)] The tiger is big.[(triple13)] @1: The lion does not eat the tiger.[(((triple7) -> rule6))] The lion sees the lion.[(((triple10) -> rule2))]