The bear is not kind. The bear does not like the tiger. The bear sees the tiger. The bear does not visit the tiger. The dog is red. The dog does not like the bear. The dog does not see the bear. The dog visits the bear. The tiger is cold. The tiger is green. The tiger is kind. The tiger is red. The tiger likes the dog. The tiger sees the bear. The tiger sees the dog. The tiger visits the bear. If someone likes the bear then the bear does not see the dog. If someone is green and cold then they visit the tiger. If someone is red and they visit the tiger then they see the bear. If someone visits the tiger and they like the dog then they like the bear. If someone is green then they visit the bear. If someone sees the dog and they are not cold then they do not like the tiger.
The tiger visits the tiger.
@0: The bear does not like the tiger.[(triple2)] The bear does not visit the tiger.[(triple4)] The bear is not kind.[(triple1)] The bear sees the tiger.[(triple3)] The dog does not like the bear.[(triple6)] The dog does not see the bear.[(triple7)] The dog is red.[(triple5)] The dog visits the bear.[(triple8)] The tiger is cold.[(triple9)] The tiger is green.[(triple10)] The tiger is kind.[(triple11)] The tiger is red.[(triple12)] The tiger likes the dog.[(triple13)] The tiger sees the bear.[(triple14 OR ((triple12 ((triple10 triple9) -> rule2)) -> rule3))] The tiger sees the dog.[(triple15)] The tiger visits the bear.[(triple16 OR ((triple10) -> rule5))] @1: The tiger visits the tiger.[(((triple10 triple9) -> rule2))] @2: The tiger likes the bear.[(((((triple10 triple9) -> rule2) triple13) -> rule4))] @3: The bear does not see the dog.[(((((((triple10 triple9) -> rule2) triple13) -> rule4)) -> rule1))]