The bear eats the mouse. The bear is green. The bear is kind. The bear likes the mouse. The bear needs the lion. The lion is kind. The lion likes the bear. The lion likes the mouse. The lion needs the bear. The mouse eats the lion. The mouse is green. The mouse is nice. The mouse is red. The mouse likes the bear. The mouse likes the lion. The mouse needs the lion. If someone is green then they like the bear.
The lion likes the lion.
@0: The bear eats the mouse.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear likes the mouse.[(triple4)] The bear needs the lion.[(triple5)] The lion is kind.[(triple6)] The lion likes the bear.[(triple7)] The lion likes the mouse.[(triple8)] The lion needs the bear.[(triple9)] The mouse eats the lion.[(triple10)] The mouse is green.[(triple11)] The mouse is nice.[(triple12)] The mouse is red.[(triple13)] The mouse likes the bear.[(triple14 OR ((triple11) -> rule1))] The mouse likes the lion.[(triple15)] The mouse needs the lion.[(triple16)] @1: The bear likes the bear.[(((triple2) -> rule1))]