The bear eats the mouse. The bear likes the mouse. The bear likes the rabbit. The bear needs the mouse. The mouse eats the rabbit. The mouse eats the squirrel. The mouse needs the rabbit. The mouse needs the squirrel. The rabbit does not need the squirrel. The squirrel is blue. The squirrel is green. The squirrel is red. The squirrel likes the bear. The squirrel does not like the mouse. The squirrel needs the bear. The squirrel needs the mouse. If someone eats the bear then they like the rabbit. If the bear is round and the bear is not blue then the bear does not like the rabbit. If the bear eats the rabbit and the rabbit likes the mouse then the bear likes the squirrel. If someone likes the rabbit then they like the squirrel. If someone needs the rabbit and the rabbit is round then they like the squirrel. If someone needs the squirrel and they need the mouse then they do not eat the squirrel. If someone likes the squirrel then they need the squirrel. If the squirrel needs the bear and the squirrel needs the mouse then the squirrel eats the bear. If someone is nice then they eat the mouse.
The mouse is nice.
@0: The bear eats the mouse.[(triple1)] The bear likes the mouse.[(triple2)] The bear likes the rabbit.[(triple3)] The bear needs the mouse.[(triple4)] The mouse eats the rabbit.[(triple5)] The mouse eats the squirrel.[(triple6)] The mouse needs the rabbit.[(triple7)] The mouse needs the squirrel.[(triple8)] The rabbit does not need the squirrel.[(triple9)] The squirrel does not like the mouse.[(triple14)] The squirrel is blue.[(triple10)] The squirrel is green.[(triple11)] The squirrel is red.[(triple12)] The squirrel likes the bear.[(triple13)] The squirrel needs the bear.[(triple15)] The squirrel needs the mouse.[(triple16)] @1: The bear likes the squirrel.[(((triple3) -> rule4))] The squirrel eats the bear.[(((triple15 triple16) -> rule8))] @2: The bear needs the squirrel.[(((((triple3) -> rule4)) -> rule7))] The squirrel likes the rabbit.[(((((triple15 triple16) -> rule8)) -> rule1))] @3: The bear does not eat the squirrel.[(((((((triple3) -> rule4)) -> rule7) triple4) -> rule6))] The squirrel likes the squirrel.[(((((((triple15 triple16) -> rule8)) -> rule1)) -> rule4))] @4: The squirrel needs the squirrel.[(((((((((triple15 triple16) -> rule8)) -> rule1)) -> rule4)) -> rule7))] @5: The squirrel does not eat the squirrel.[(((((((((((triple15 triple16) -> rule8)) -> rule1)) -> rule4)) -> rule7) triple16) -> rule6))]