The bear chases the lion. The bear is kind. The bear is rough. The bear likes the lion. The lion eats the bear. The lion is big. The lion is rough. If someone chases the lion and the lion is not rough then they do not chase the bear. If someone is young then they eat the lion. If the bear chases the lion and the bear likes the lion then the lion does not like the bear. If someone likes the lion and they do not eat the lion then they do not like the bear. If someone likes the bear then they are kind. If the lion eats the bear and the lion does not like the bear then the lion chases the bear. If someone eats the lion and the lion does not like the bear then the bear is kind. If someone chases the bear then the bear is nice.
The bear eats the bear.
@0: The bear chases the lion.[(triple1)] The bear is kind.[(triple2)] The bear is rough.[(triple3)] The bear likes the lion.[(triple4)] The lion eats the bear.[(triple5)] The lion is big.[(triple6)] The lion is rough.[(triple7)] @1: The lion does not like the bear.[(((triple1 triple4) -> rule3))] @2: The lion chases the bear.[(((triple5 ((triple1 triple4) -> rule3)) -> rule6))] @3: The bear is nice.[(((((triple5 ((triple1 triple4) -> rule3)) -> rule6)) -> rule8))]