The bear chases the tiger. The bear is big. The bear is green. The bear is kind. The bear is not red. The bear is round. The bear needs the tiger. The bear visits the tiger. The tiger does not chase the bear. The tiger is green. The tiger is kind. The tiger is red. The tiger is round. The tiger needs the bear. The tiger does not visit the bear. If the bear visits the tiger then the tiger does not chase the bear. If someone visits the bear and they do not chase the bear then they are kind. If someone chases the tiger and the tiger does not chase the bear then they visit the bear. If someone is big and kind then they need the tiger. If the bear is kind then the bear needs the tiger. If someone needs the tiger and they do not chase the tiger then they are not round.
The tiger is not round.
@0: The bear chases the tiger.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is not red.[(triple5)] The bear is round.[(triple6)] The bear needs the tiger.[(triple7 OR ((triple4) -> rule5) OR ((triple2 triple4) -> rule4))] The bear visits the tiger.[(triple8)] The tiger does not chase the bear.[(triple9 OR ((triple8) -> rule1))] The tiger does not visit the bear.[(triple15)] The tiger is green.[(triple10)] The tiger is kind.[(triple11)] The tiger is red.[(triple12)] The tiger is round.[(triple13)] The tiger needs the bear.[(triple14)] @1: The bear visits the bear.[(((triple1 triple9) -> rule3) OR ((triple1 ((triple8) -> rule1)) -> rule3))]