The bear eats the tiger. The bear is big. The bear is kind. The bear is nice. The bear is red. The bear is rough. The bear likes the tiger. The bear sees the tiger. The tiger eats the bear. The tiger is big. The tiger is kind. The tiger is nice. The tiger is red. The tiger is rough. The tiger likes the bear. The tiger sees the bear. If something sees the bear then the bear sees the tiger.
The bear sees the bear.
@0: The bear eats the tiger.[(triple1)] The bear is big.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5)] The bear is rough.[(triple6)] The bear likes the tiger.[(triple7)] The bear sees the tiger.[(triple8 OR ((triple16) -> rule1))] The tiger eats the bear.[(triple9)] The tiger is big.[(triple10)] The tiger is kind.[(triple11)] The tiger is nice.[(triple12)] The tiger is red.[(triple13)] The tiger is rough.[(triple14)] The tiger likes the bear.[(triple15)] The tiger sees the bear.[(triple16)]