The bear is big. The bear is cold. The bear is green. The bear is red. The bear likes the mouse. The bear needs the mouse. The bear sees the mouse. The mouse is cold. The mouse is red. The mouse likes the bear. The mouse needs the bear. The mouse sees the bear. If someone sees the bear then the bear is cold. If someone sees the bear then the bear needs the mouse. If someone needs the mouse then they are rough. If someone sees the mouse and they are rough then they need the mouse. If someone sees the bear then the bear needs the mouse. If the bear needs the mouse and the mouse sees the bear then the mouse likes the bear.
The mouse likes the bear.
@0: The bear is big.[(triple1)] The bear is cold.[(triple2 OR ((triple12) -> rule1))] The bear is green.[(triple3)] The bear is red.[(triple4)] The bear likes the mouse.[(triple5)] The bear needs the mouse.[(triple6 OR ((triple12) -> rule2) OR ((triple12) -> rule5))] The bear sees the mouse.[(triple7)] The mouse is cold.[(triple8)] The mouse is red.[(triple9)] The mouse likes the bear.[(triple10 OR ((triple6 triple12) -> rule6) OR ((((triple12) -> rule2) triple12) -> rule6) OR ((((triple12) -> rule5) triple12) -> rule6))] The mouse needs the bear.[(triple11)] The mouse sees the bear.[(triple12)] @1: The bear is rough.[(((triple6) -> rule3) OR ((((triple12) -> rule2)) -> rule3) OR ((((triple12) -> rule5)) -> rule3))]