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