The bear is not nice. The bear is red. The bear likes the cat. The bear does not need the cat. The bear sees the cat. The cat is big. The cat is green. The cat is not nice. The cat is young. The cat does not like the bear. The cat needs the bear. The cat sees the bear. If someone likes the cat and they are not young then they see the cat. If someone needs the cat and the cat needs the bear then the bear sees the cat. If someone likes the bear then the bear sees the cat. If someone sees the cat then they are green. If someone is red and they need the cat then they like the bear. If someone sees the cat and they are not big then they like the cat. If someone likes the bear and the bear sees the cat then they need the cat. If someone needs the cat then they need the bear.
The bear is young.
@0: The bear does not need the cat.[(triple4)] The bear is not nice.[(triple1)] The bear is red.[(triple2)] The bear likes the cat.[(triple3)] The bear sees the cat.[(triple5)] The cat does not like the bear.[(triple10)] The cat is big.[(triple6)] The cat is green.[(triple7)] The cat is not nice.[(triple8)] The cat is young.[(triple9)] The cat needs the bear.[(triple11)] The cat sees the bear.[(triple12)] @1: The bear is green.[(((triple5) -> rule4))]