The bear eats the lion. The bear is big. The bear is nice. The bear is red. The bear likes the lion. The bear sees the lion. The lion eats the bear. The lion is blue. The lion is kind. The lion is nice. The lion likes the bear. The lion sees the bear. If something sees the bear and the bear likes the lion then the bear sees the lion. If something sees the lion and the lion likes the bear then it is big.
The bear is big.
@0: The bear eats the lion.[(triple1)] The bear is big.[(triple2 OR ((triple6 triple11) -> rule2) OR ((((triple12 triple5) -> rule1) triple11) -> rule2))] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear likes the lion.[(triple5)] The bear sees the lion.[(triple6 OR ((triple12 triple5) -> rule1))] The lion eats the bear.[(triple7)] The lion is blue.[(triple8)] The lion is kind.[(triple9)] The lion is nice.[(triple10)] The lion likes the bear.[(triple11)] The lion sees the bear.[(triple12)]