The bear is big. The bear is not blue. The bear is not green. The bear is rough. The bear is young. The bear does not like the tiger. The bear does not need the tiger. The bear sees the tiger. The tiger is big. The tiger is blue. The tiger is green. The tiger is rough. The tiger is young. The tiger likes the bear. The tiger needs the bear. The tiger sees the bear. If someone is blue and they do not see the tiger then they do not see the bear. If someone likes the bear then they see the bear. If someone is young and not big then they need the bear. If someone is green and they see the bear then they need the bear. If someone needs the bear and they are not green then they like the tiger. If someone is green then they like the bear.
The tiger is big.
@0: The bear does not like the tiger.[(triple6)] The bear does not need the tiger.[(triple7)] The bear is big.[(triple1)] The bear is not blue.[(triple2)] The bear is not green.[(triple3)] The bear is rough.[(triple4)] The bear is young.[(triple5)] The bear sees the tiger.[(triple8)] The tiger is big.[(triple9)] The tiger is blue.[(triple10)] The tiger is green.[(triple11)] The tiger is rough.[(triple12)] The tiger is young.[(triple13)] The tiger likes the bear.[(triple14 OR ((triple11) -> rule6))] The tiger needs the bear.[(triple15 OR ((triple11 triple16) -> rule4) OR ((triple11 ((triple14) -> rule2)) -> rule4) OR ((triple11 ((((triple11) -> rule6)) -> rule2)) -> rule4))] The tiger sees the bear.[(triple16 OR ((triple14) -> rule2) OR ((((triple11) -> rule6)) -> rule2))]