The bear eats the rabbit. The bear is blue. The bear visits the mouse. The mouse is blue. The mouse is red. The mouse does not need the bear. The mouse visits the rabbit. The rabbit is big. The rabbit is green. The rabbit is red. The rabbit does not visit the bear. The rabbit does not visit the mouse. If someone is blue then they visit the bear. If someone needs the bear and the bear eats the rabbit then the rabbit eats the bear. If someone needs the bear and the bear eats the mouse then the bear does not visit the mouse. If the mouse visits the bear then the mouse eats the bear. If the mouse does not eat the bear and the mouse does not need the bear then the bear needs the rabbit. If someone visits the rabbit and they do not visit the mouse then the rabbit is not cold.
The rabbit is not green.
@0: The bear eats the rabbit.[(triple1)] The bear is blue.[(triple2)] The bear visits the mouse.[(triple3)] The mouse does not need the bear.[(triple6)] The mouse is blue.[(triple4)] The mouse is red.[(triple5)] The mouse visits the rabbit.[(triple7)] The rabbit does not visit the bear.[(triple11)] The rabbit does not visit the mouse.[(triple12)] The rabbit is big.[(triple8)] The rabbit is green.[(triple9)] The rabbit is red.[(triple10)] @1: The bear visits the bear.[(((triple2) -> rule1))] The mouse visits the bear.[(((triple4) -> rule1))] @2: The mouse eats the bear.[(((((triple4) -> rule1)) -> rule4))]