The bear eats the cat. The bear is green. The bear is red. The bear likes the cat. The bear needs the cat. The cat is green. The cat needs the bear. The cat needs the lion. The lion is not blue. The lion is kind. The lion is red. The lion is young. The lion likes the bear. The lion likes the cat. The lion needs the bear. The lion needs the cat. If the lion is young and the lion likes the cat then the lion is red. If something is green and it likes the lion then the lion is red. If something likes the bear then the bear needs the cat. If something is kind then it does not eat the bear. If something likes the lion then the lion eats the bear. If the lion eats the cat then the cat is red. If the lion needs the bear and the lion does not eat the bear then the bear needs the lion. If something needs the lion then it is blue.
The bear does not eat the lion.
@0: The bear eats the cat.[(triple1)] The bear is green.[(triple2)] The bear is red.[(triple3)] The bear likes the cat.[(triple4)] The bear needs the cat.[(triple5 OR ((triple13) -> rule3))] The cat is green.[(triple6)] The cat needs the bear.[(triple7)] The cat needs the lion.[(triple8)] The lion is kind.[(triple10)] The lion is not blue.[(triple9)] The lion is red.[(triple11 OR ((triple12 triple14) -> rule1))] The lion is young.[(triple12)] The lion likes the bear.[(triple13)] The lion likes the cat.[(triple14)] The lion needs the bear.[(triple15)] The lion needs the cat.[(triple16)] @1: The cat is blue.[(((triple8) -> rule8))] The lion does not eat the bear.[(((triple10) -> rule4))] @2: The bear needs the lion.[(((triple15 ((triple10) -> rule4)) -> rule7))] @3: The bear is blue.[(((((triple15 ((triple10) -> rule4)) -> rule7)) -> rule8))]