The bear eats the lion. The bear eats the tiger. The bear is blue. The bear is red. The bear visits the tiger. The lion eats the bear. The lion eats the tiger. The lion is nice. The lion is young. The lion sees the bear. The lion sees the tiger. The tiger eats the lion. The tiger is blue. The tiger is red. The tiger sees the bear. If someone is nice then they visit the bear. If the bear eats the lion then the bear is blue. If someone eats the bear then they see the tiger.
The tiger does not see the tiger.
@0: The bear eats the lion.[(triple1)] The bear eats the tiger.[(triple2)] The bear is blue.[(triple3 OR ((triple1) -> rule2))] The bear is red.[(triple4)] The bear visits the tiger.[(triple5)] The lion eats the bear.[(triple6)] The lion eats the tiger.[(triple7)] The lion is nice.[(triple8)] The lion is young.[(triple9)] The lion sees the bear.[(triple10)] The lion sees the tiger.[(triple11 OR ((triple6) -> rule3))] The tiger eats the lion.[(triple12)] The tiger is blue.[(triple13)] The tiger is red.[(triple14)] The tiger sees the bear.[(triple15)] @1: The lion visits the bear.[(((triple8) -> rule1))]