The bear eats the mouse. The bear is big. The bear is blue. The bear is cold. The bear is nice. The bear likes the mouse. The bear sees the mouse. The mouse eats the bear. The mouse is big. The mouse is blue. The mouse is cold. The mouse is nice. The mouse is rough. The mouse likes the bear. The mouse sees the bear. All nice people are cold.
The mouse likes the mouse.
@0: The bear eats the mouse.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is cold.[(triple4 OR ((triple5) -> rule1))] The bear is nice.[(triple5)] The bear likes the mouse.[(triple6)] The bear sees the mouse.[(triple7)] The mouse eats the bear.[(triple8)] The mouse is big.[(triple9)] The mouse is blue.[(triple10)] The mouse is cold.[(triple11 OR ((triple12) -> rule1))] The mouse is nice.[(triple12)] The mouse is rough.[(triple13)] The mouse likes the bear.[(triple14)] The mouse sees the bear.[(triple15)]