The bear eats the lion. The bear is kind. The bear is red. The bear likes the lion. The bear sees the lion. The lion does not eat the bear. The lion likes the bear. If someone is green and they do not like the lion then they do not eat the bear. If someone is rough then they eat the bear. If someone eats the bear then they are rough. If someone eats the lion and they see the lion then they are rough. If the lion sees the bear then the lion is kind. If someone eats the lion then the lion sees the bear. If someone sees the lion then they like the bear. If someone eats the bear then the bear eats the lion.
The bear is not rough.
@0: The bear eats the lion.[(triple1)] The bear is kind.[(triple2)] The bear is red.[(triple3)] The bear likes the lion.[(triple4)] The bear sees the lion.[(triple5)] The lion does not eat the bear.[(triple6)] The lion likes the bear.[(triple7)] @1: The bear is rough.[(((triple1 triple5) -> rule4))] The bear likes the bear.[(((triple5) -> rule7))] The lion sees the bear.[(((triple1) -> rule6))] @2: The bear eats the bear.[(((((triple1 triple5) -> rule4)) -> rule2))] The lion is kind.[(((((triple1) -> rule6)) -> rule5))]