The bear sees the tiger. The cat is nice. The cat sees the tiger. The lion likes the bear. The lion sees the bear. The lion sees the tiger. The tiger eats the bear. The tiger eats the cat. The tiger is kind. The tiger is red. The tiger likes the bear. The tiger likes the cat. If someone sees the cat then the cat likes the bear. If the cat likes the bear then the cat is kind. If the lion sees the tiger then the tiger is kind. If someone eats the bear then they are nice. If someone eats the tiger and they like the bear then the bear likes the tiger. If someone is kind then they eat the tiger.
The bear does not see the tiger.
@0: The bear sees the tiger.[(triple1)] The cat is nice.[(triple2)] The cat sees the tiger.[(triple3)] The lion likes the bear.[(triple4)] The lion sees the bear.[(triple5)] The lion sees the tiger.[(triple6)] The tiger eats the bear.[(triple7)] The tiger eats the cat.[(triple8)] The tiger is kind.[(triple9 OR ((triple6) -> rule3))] The tiger is red.[(triple10)] The tiger likes the bear.[(triple11)] The tiger likes the cat.[(triple12)] @1: The tiger eats the tiger.[(((triple9) -> rule6) OR ((((triple6) -> rule3)) -> rule6))] The tiger is nice.[(((triple7) -> rule4))] @2: The bear likes the tiger.[(((((triple9) -> rule6) triple11) -> rule5) OR ((((((triple6) -> rule3)) -> rule6) triple11) -> rule5))]