The bear eats the lion. The bear is big. The bear is nice. The bear is rough. The bear is round. The bear sees the lion. The bear visits the lion. The lion eats the bear. The lion is big. The lion is nice. The lion sees the bear. The lion visits the bear. If someone is kind then they eat the lion. If the bear sees the lion then the lion eats the bear. If someone sees the lion then they see the bear.
The lion does not eat the lion.
@0: The bear eats the lion.[(triple1)] The bear is big.[(triple2)] The bear is nice.[(triple3)] The bear is rough.[(triple4)] The bear is round.[(triple5)] The bear sees the lion.[(triple6)] The bear visits the lion.[(triple7)] The lion eats the bear.[(triple8 OR ((triple6) -> rule2))] The lion is big.[(triple9)] The lion is nice.[(triple10)] The lion sees the bear.[(triple11)] The lion visits the bear.[(triple12)] @1: The bear sees the bear.[(((triple6) -> rule3))]