The bear is green. The bear is rough. The bear does not like the rabbit. The cow is green. The cow is not rough. The cow likes the bear. The cow likes the rabbit. The cow needs the bear. The cow sees the bear. The rabbit is green. The rabbit likes the cow. The rabbit needs the cow. If something sees the bear then the bear is green.
The cow is not rough.
@0: The bear does not like the rabbit.[(triple3)] The bear is green.[(triple1 OR ((triple9) -> rule1))] The bear is rough.[(triple2)] The cow is green.[(triple4)] The cow is not rough.[(triple5)] The cow likes the bear.[(triple6)] The cow likes the rabbit.[(triple7)] The cow needs the bear.[(triple8)] The cow sees the bear.[(triple9)] The rabbit is green.[(triple10)] The rabbit likes the cow.[(triple11)] The rabbit needs the cow.[(triple12)]