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