The bear is blue. The bear is red. The bear needs the tiger. The bear sees the tiger. The cat is cold. The cat is red. The cat does not need the bear. The cat needs the tiger. The cat does not see the bear. The tiger eats the bear. The tiger does not eat the cat. The tiger is green. The tiger is red. The tiger needs the bear. The tiger needs the cat. The tiger sees the cat. If something eats the bear and it sees the tiger then it needs the bear. If something is green then it sees the bear. If something is blue and not green then it does not see the bear. If something eats the cat and the cat is cold then it sees the tiger. If something eats the cat and the cat does not eat the bear then it is not cold. Cold things are young. If something sees the cat then it needs the cat. If something sees the cat and it does not need the cat then the cat does not see the bear.
The bear is green.
@0: The bear is blue.[(triple1)] The bear is red.[(triple2)] The bear needs the tiger.[(triple3)] The bear sees the tiger.[(triple4)] The cat does not need the bear.[(triple7)] The cat does not see the bear.[(triple9)] The cat is cold.[(triple5)] The cat is red.[(triple6)] The cat needs the tiger.[(triple8)] The tiger does not eat the cat.[(triple11)] The tiger eats the bear.[(triple10)] The tiger is green.[(triple12)] The tiger is red.[(triple13)] The tiger needs the bear.[(triple14)] The tiger needs the cat.[(triple15 OR ((triple16) -> rule7))] The tiger sees the cat.[(triple16)] @1: The cat is young.[(((triple5) -> rule6))] The tiger sees the bear.[(((triple12) -> rule2))]