The bear is green. The bear is kind. The bear is red. The bear needs the mouse. The bear sees the mouse. The mouse is cold. The mouse is green. The mouse is red. The mouse is rough. The mouse likes the bear. The mouse needs the bear. The mouse sees the bear. If something is kind and green then it likes the mouse.
The bear does not like the mouse.
@0: The bear is green.[(triple1)] The bear is kind.[(triple2)] The bear is red.[(triple3)] The bear needs the mouse.[(triple4)] The bear sees the mouse.[(triple5)] The mouse is cold.[(triple6)] The mouse is green.[(triple7)] The mouse is red.[(triple8)] The mouse is rough.[(triple9)] The mouse likes the bear.[(triple10)] The mouse needs the bear.[(triple11)] The mouse sees the bear.[(triple12)] @1: The bear likes the mouse.[(((triple2 triple1) -> rule1))]