The bear is green. The bear is kind. The bear likes the tiger. The bear needs the cat. The bear needs the tiger. The cat likes the bear. The cat needs the bear. The cat sees the bear. The tiger needs the bear. The tiger needs the cat. If the bear is rough then the bear sees the tiger. If someone is rough then they see the bear. If someone is rough then they need the cat. If someone needs the bear then the bear likes the cat. If someone likes the bear then the bear needs the tiger. If someone is green then they need the cat. If someone sees the cat then the cat likes the tiger. If someone likes the cat then they like the bear.
The bear does not see the tiger.
@0: The bear is green.[(triple1)] The bear is kind.[(triple2)] The bear likes the tiger.[(triple3)] The bear needs the cat.[(triple4 OR ((triple1) -> rule6))] The bear needs the tiger.[(triple5 OR ((triple6) -> rule5) OR ((((((triple7) -> rule4)) -> rule8)) -> rule5) OR ((((((triple9) -> rule4)) -> rule8)) -> rule5))] The cat likes the bear.[(triple6)] The cat needs the bear.[(triple7)] The cat sees the bear.[(triple8)] The tiger needs the bear.[(triple9)] The tiger needs the cat.[(triple10)] @1: The bear likes the cat.[(((triple7) -> rule4) OR ((triple9) -> rule4))] @2: The bear likes the bear.[(((((triple7) -> rule4)) -> rule8) OR ((((triple9) -> rule4)) -> rule8))]