The bear eats the lion. The bear likes the lion. The lion is nice. The lion likes the bear. The lion likes the tiger. The tiger eats the bear. The tiger is red. If someone is nice and they like the lion then they eat the tiger. If someone is big then they like the tiger. If someone eats the lion then they are red. If someone likes the lion then they eat the bear. If someone eats the bear then the bear is red. If someone chases the bear then the bear chases the lion. If someone is round then they chase the tiger. If someone eats the lion and they are big then the lion likes the bear.
The tiger is round.
@0: The bear eats the lion.[(triple1)] The bear likes the lion.[(triple2)] The lion is nice.[(triple3)] The lion likes the bear.[(triple4)] The lion likes the tiger.[(triple5)] The tiger eats the bear.[(triple6)] The tiger is red.[(triple7)] @1: The bear eats the bear.[(((triple2) -> rule4))] The bear is red.[(((triple1) -> rule3) OR ((triple6) -> rule5) OR ((((triple2) -> rule4)) -> rule5))]