The bear eats the squirrel. The bear does not eat the tiger. The bear is green. The bear needs the squirrel. The bear does not visit the squirrel. The cat is rough. The squirrel eats the tiger. The squirrel is big. The squirrel is kind. The squirrel visits the cat. The squirrel visits the tiger. The tiger eats the cat. The tiger is big. The tiger is nice. The tiger visits the cat. The tiger does not visit the squirrel. If someone needs the cat and they do not visit the bear then they do not visit the tiger. If the cat eats the bear then the bear eats the cat. If someone eats the bear then the bear is not green. If someone eats the cat then they are big. If someone eats the cat and they need the squirrel then the cat visits the tiger. If someone visits the bear then the bear eats the squirrel.
The cat is kind.
@0: The bear does not eat the tiger.[(triple2)] The bear does not visit the squirrel.[(triple5)] The bear eats the squirrel.[(triple1)] The bear is green.[(triple3)] The bear needs the squirrel.[(triple4)] The cat is rough.[(triple6)] The squirrel eats the tiger.[(triple7)] The squirrel is big.[(triple8)] The squirrel is kind.[(triple9)] The squirrel visits the cat.[(triple10)] The squirrel visits the tiger.[(triple11)] The tiger does not visit the squirrel.[(triple16)] The tiger eats the cat.[(triple12)] The tiger is big.[(triple13 OR ((triple12) -> rule4))] The tiger is nice.[(triple14)] The tiger visits the cat.[(triple15)]