The bear is cold. The bear is not green. The bear is nice. The bear is rough. The bear is young. The bear likes the cow. The bear needs the cow. The bear does not visit the cow. The cow is not nice. The cow needs the bear. If the bear likes the cow and the bear is not young then the bear is not cold. If someone is nice and they like the cow then the cow likes the bear.
The bear is not young.
@0: The bear does not visit the cow.[(triple8)] The bear is cold.[(triple1)] The bear is nice.[(triple3)] The bear is not green.[(triple2)] The bear is rough.[(triple4)] The bear is young.[(triple5)] The bear likes the cow.[(triple6)] The bear needs the cow.[(triple7)] The cow is not nice.[(triple9)] The cow needs the bear.[(triple10)] @1: The cow likes the bear.[(((triple3 triple6) -> rule2))]