The bear is green. The bear does not need the mouse. The bear does not visit the lion. The lion is cold. The mouse is young. The mouse likes the bear. The mouse needs the bear. If someone likes the bear then they do not like the lion. If someone visits the lion and they need the lion then the lion likes the bear. If someone visits the bear and the bear needs the mouse then the bear is green. If someone needs the lion then the lion is big. If the lion is green and the lion likes the bear then the bear visits the mouse. If someone needs the bear and they do not like the lion then the bear is big.
The bear visits the mouse.
@0: The bear does not need the mouse.[(triple2)] The bear does not visit the lion.[(triple3)] The bear is green.[(triple1)] The lion is cold.[(triple4)] The mouse is young.[(triple5)] The mouse likes the bear.[(triple6)] The mouse needs the bear.[(triple7)] @1: The mouse does not like the lion.[(((triple6) -> rule1))] @2: The bear is big.[(((triple7 ((triple6) -> rule1)) -> rule6))]