The bear eats the lion. The bear is red. The bear is young. The bear needs the cat. The bear needs the lion. The bear visits the cat. The cat eats the bear. The cat visits the bear. The lion eats the bear. The lion is red. The lion needs the bear. The lion needs the mouse. The mouse eats the lion. The mouse is kind. The mouse visits the bear. The mouse visits the lion. Nice people are kind. If the bear eats the lion and the bear needs the lion then the lion is nice.
The lion is nice.
@0: The bear eats the lion.[(triple1)] The bear is red.[(triple2)] The bear is young.[(triple3)] The bear needs the cat.[(triple4)] The bear needs the lion.[(triple5)] The bear visits the cat.[(triple6)] The cat eats the bear.[(triple7)] The cat visits the bear.[(triple8)] The lion eats the bear.[(triple9)] The lion is red.[(triple10)] The lion needs the bear.[(triple11)] The lion needs the mouse.[(triple12)] The mouse eats the lion.[(triple13)] The mouse is kind.[(triple14)] The mouse visits the bear.[(triple15)] The mouse visits the lion.[(triple16)] @1: The lion is nice.[(((triple1 triple5) -> rule2))] @2: The lion is kind.[(((((triple1 triple5) -> rule2)) -> rule1))]