The bear eats the mouse. The bear is young. The dog eats the mouse. The lion is cold. The lion does not like the mouse. The mouse eats the dog. The mouse is red. The mouse likes the dog. The mouse likes the lion. The mouse needs the bear. The mouse needs the dog. The mouse needs the lion. If something eats the dog then it is young. All kind things are young. If the lion likes the mouse then the lion does not eat the mouse. If something eats the lion then the lion likes the dog. If something needs the dog then it is not kind. Kind things are green. If something is young and it likes the bear then the bear eats the dog. If something eats the lion and the lion needs the bear then the bear likes the dog.
The bear likes the dog.
@0: The bear eats the mouse.[(triple1)] The bear is young.[(triple2)] The dog eats the mouse.[(triple3)] The lion does not like the mouse.[(triple5)] The lion is cold.[(triple4)] The mouse eats the dog.[(triple6)] The mouse is red.[(triple7)] The mouse likes the dog.[(triple8)] The mouse likes the lion.[(triple9)] The mouse needs the bear.[(triple10)] The mouse needs the dog.[(triple11)] The mouse needs the lion.[(triple12)] @1: The mouse is not kind.[(((triple11) -> rule5))] The mouse is young.[(((triple6) -> rule1))]