The bear chases the lion. The bear eats the lion. The bear is blue. The bear is cold. The bear is round. The bear likes the lion. The lion chases the bear. If someone likes the lion then they chase the bear. If the lion is round then the lion is not blue. If someone is blue and they chase the bear then they eat the bear. If someone likes the lion and they do not eat the lion then the lion is not cold. If someone likes the bear then they chase the lion. If someone likes the lion and they are not blue then they are cold. If the bear is cold and the bear is not rough then the bear chases the lion. If the lion likes the bear and the bear does not like the lion then the bear chases the lion.
The bear does not chase the lion.
@0: The bear chases the lion.[(triple1)] The bear eats the lion.[(triple2)] The bear is blue.[(triple3)] The bear is cold.[(triple4)] The bear is round.[(triple5)] The bear likes the lion.[(triple6)] The lion chases the bear.[(triple7)] @1: The bear chases the bear.[(((triple6) -> rule1))] @2: The bear eats the bear.[(((triple3 ((triple6) -> rule1)) -> rule3))]