The bear is blue. The bear is nice. The bear is red. The bear likes the mouse. The bear needs the mouse. The mouse does not like the bear. The mouse does not see the bear. If something likes the bear then the bear likes the mouse. If something needs the bear and it likes the bear then the bear likes the mouse. If the mouse sees the bear and the mouse needs the bear then the mouse is blue. If something is nice then it likes the mouse. If the bear likes the mouse and the mouse likes the bear then the bear is nice. If something needs the bear and it likes the bear then it is red.
The mouse is round.
@0: The bear is blue.[(triple1)] The bear is nice.[(triple2)] The bear is red.[(triple3)] The bear likes the mouse.[(triple4 OR ((triple2) -> rule4))] The bear needs the mouse.[(triple5)] The mouse does not like the bear.[(triple6)] The mouse does not see the bear.[(triple7)]