The bear eats the lion. The bear is cold. The bear is kind. The bear likes the cow. The bear likes the lion. The bear does not need the lion. The cow eats the lion. The cow is not cold. The cow is kind. The cow needs the lion. The lion eats the bear. The lion eats the cow. The lion likes the bear. The lion likes the cow. The lion needs the cow. If the bear eats the lion then the bear eats the cow. If someone needs the lion and the lion needs the bear then the bear does not need the lion. If someone eats the bear and they are cold then the bear does not eat the lion. If someone eats the cow then they like the bear. If the cow is nice then the cow is young. If the lion eats the cow and the lion needs the bear then the lion is green.
The lion eats the bear.
@0: The bear does not need the lion.[(triple6)] The bear eats the lion.[(triple1)] The bear is cold.[(triple2)] The bear is kind.[(triple3)] The bear likes the cow.[(triple4)] The bear likes the lion.[(triple5)] The cow eats the lion.[(triple7)] The cow is kind.[(triple9)] The cow is not cold.[(triple8)] The cow needs the lion.[(triple10)] The lion eats the bear.[(triple11)] The lion eats the cow.[(triple12)] The lion likes the bear.[(triple13 OR ((triple12) -> rule4))] The lion likes the cow.[(triple14)] The lion needs the cow.[(triple15)] @1: The bear eats the cow.[(((triple1) -> rule1))] @2: The bear likes the bear.[(((((triple1) -> rule1)) -> rule4))]