The bear eats the lion. The bear is green. The bear is kind. The bear is nice. The bear is not red. The bear does not like the lion. The bear sees the lion. The lion eats the bear. The lion is not green. The lion is nice. The lion is red. The lion sees the bear. If something sees the lion then it likes the bear. If something sees the bear then it likes the lion. If something likes the lion and it sees the bear then it sees the lion. If the bear sees the lion and the lion does not see the bear then the lion eats the bear. If something sees the bear and it is kind then it eats the lion. If the bear likes the lion and the bear does not see the lion then the lion is big.
The bear eats the bear.
@0: The bear does not like the lion.[(triple6)] The bear eats the lion.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear is not red.[(triple5)] The bear sees the lion.[(triple7)] The lion eats the bear.[(triple8)] The lion is nice.[(triple10)] The lion is not green.[(triple9)] The lion is red.[(triple11)] The lion sees the bear.[(triple12)] @1: The bear likes the bear.[(((triple7) -> rule1))] The lion likes the lion.[(((triple12) -> rule2))] @2: The lion sees the lion.[(((((triple12) -> rule2) triple12) -> rule3))] @3: The lion likes the bear.[(((((((triple12) -> rule2) triple12) -> rule3)) -> rule1))]