The bear is big. The bear is kind. The bear sees the cat. The bear sees the rabbit. The cat is cold. The cat needs the bear. The cat sees the tiger. The rabbit is cold. The rabbit is kind. The rabbit does not need the bear. The rabbit needs the tiger. The tiger needs the rabbit. If the cat is nice then the cat is green. If something is green then it does not see the tiger. If something is big then it is green. If something eats the tiger then the tiger sees the bear. If the cat is green and the cat does not eat the rabbit then the cat needs the bear. If something is nice then it does not need the cat. If the rabbit is cold and the rabbit does not see the cat then the rabbit is kind. If something eats the bear and it does not need the bear then the bear needs the tiger.
The rabbit eats the cat.
@0: The bear is big.[(triple1)] The bear is kind.[(triple2)] The bear sees the cat.[(triple3)] The bear sees the rabbit.[(triple4)] The cat is cold.[(triple5)] The cat needs the bear.[(triple6)] The cat sees the tiger.[(triple7)] The rabbit does not need the bear.[(triple10)] The rabbit is cold.[(triple8)] The rabbit is kind.[(triple9)] The rabbit needs the tiger.[(triple11)] The tiger needs the rabbit.[(triple12)] @1: The bear is green.[(((triple1) -> rule3))] @2: The bear does not see the tiger.[(((((triple1) -> rule3)) -> rule2))]