The bear eats the rabbit. The bear eats the tiger. The bear is red. The bear visits the tiger. The rabbit is not big. The rabbit visits the bear. The tiger eats the bear. The tiger is cold. The tiger is not red. The tiger sees the bear. If someone sees the bear and the bear sees the rabbit then the bear does not see the tiger. If someone eats the tiger and they do not visit the tiger then they visit the rabbit. If someone sees the tiger then they do not visit the rabbit. If someone is kind then they see the rabbit. If someone eats the rabbit and they see the bear then the rabbit sees the bear. If someone visits the tiger and the tiger visits the rabbit then the rabbit visits the bear. If someone eats the tiger then they are not young. If the rabbit is not cold then the rabbit is not kind.
The bear does not visit the tiger.
@0: The bear eats the rabbit.[(triple1)] The bear eats the tiger.[(triple2)] The bear is red.[(triple3)] The bear visits the tiger.[(triple4)] The rabbit is not big.[(triple5)] The rabbit visits the bear.[(triple6)] The tiger eats the bear.[(triple7)] The tiger is cold.[(triple8)] The tiger is not red.[(triple9)] The tiger sees the bear.[(triple10)] @1: The bear is not young.[(((triple2) -> rule7))]