The bear does not eat the rabbit. The bear is big. The bear is blue. The bear is green. The bear is not kind. The bear is not rough. The bear likes the rabbit. The bear does not need the rabbit. The rabbit eats the bear. The rabbit is big. The rabbit is blue. The rabbit is not green. The rabbit is kind. The rabbit is not rough. The rabbit likes the bear. The rabbit needs the bear. If someone is blue and they need the rabbit then they eat the bear. If the rabbit likes the bear and the bear is rough then the bear likes the rabbit. If someone needs the bear and the bear is not kind then they like the rabbit. If someone is rough and blue then they like the rabbit. If someone eats the bear and the bear is kind then the bear is not rough. If someone eats the bear then they need the rabbit. If someone is rough then they do not eat the rabbit. If someone likes the rabbit and they like the bear then the bear does not eat the rabbit.
The bear does not eat the bear.
@0: The bear does not eat the rabbit.[(triple1 OR ((((triple16 triple5) -> rule3) triple15) -> rule8))] The bear does not need the rabbit.[(triple8)] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is green.[(triple4)] The bear is not kind.[(triple5)] The bear is not rough.[(triple6)] The bear likes the rabbit.[(triple7)] The rabbit eats the bear.[(triple9)] The rabbit is big.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is kind.[(triple13)] The rabbit is not green.[(triple12)] The rabbit is not rough.[(triple14)] The rabbit likes the bear.[(triple15)] The rabbit needs the bear.[(triple16)] @1: The rabbit likes the rabbit.[(((triple16 triple5) -> rule3))] The rabbit needs the rabbit.[(((triple9) -> rule6))]