The bear eats the tiger. The bear is blue. The bear is kind. The bear is nice. The bear is red. The bear is round. The bear likes the tiger. The bear visits the tiger. The tiger eats the bear. The tiger is kind. The tiger is nice. The tiger is red. The tiger is round. The tiger likes the bear. The tiger visits the bear. If someone visits the bear and they are kind then they like the bear. If someone likes the bear then they visit the bear.
The bear is red.
@0: The bear eats the tiger.[(triple1)] The bear is blue.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5)] The bear is round.[(triple6)] The bear likes the tiger.[(triple7)] The bear visits the tiger.[(triple8)] The tiger eats the bear.[(triple9)] The tiger is kind.[(triple10)] The tiger is nice.[(triple11)] The tiger is red.[(triple12)] The tiger is round.[(triple13)] The tiger likes the bear.[(triple14 OR ((triple15 triple10) -> rule1))] The tiger visits the bear.[(triple15 OR ((triple14) -> rule2))]