The bear is blue. The bear is cold. The bear is round. The bear likes the mouse. The mouse chases the bear. The mouse likes the bear. The mouse needs the bear. If someone chases the mouse and they do not need the mouse then the mouse likes the bear. If someone is blue and they do not need the mouse then the mouse likes the bear. If the bear is not cold then the bear does not like the mouse. If someone chases the bear then they are not round. If someone chases the bear then they need the bear. If someone chases the bear and the bear is green then the bear is blue. All blue people are big. If the mouse likes the bear and the bear does not chase the mouse then the mouse is not cold.
The mouse does not like the bear.
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is round.[(triple3)] The bear likes the mouse.[(triple4)] The mouse chases the bear.[(triple5)] The mouse likes the bear.[(triple6)] The mouse needs the bear.[(triple7 OR ((triple5) -> rule5))] @1: The bear is big.[(((triple1) -> rule7))] The mouse is not round.[(((triple5) -> rule4))]