The bear eats the cow. The bear eats the rabbit. The bear is cold. The bear is rough. The bear likes the cow. The bear likes the rabbit. The bear needs the cow. The bear needs the rabbit. The cow eats the bear. The cow is big. The cow is rough. The cow needs the bear. The rabbit is big. The rabbit is rough. The rabbit likes the cow. The rabbit needs the bear. If something needs the rabbit then it eats the rabbit.
The rabbit is big.
@0: The bear eats the cow.[(triple1)] The bear eats the rabbit.[(triple2 OR ((triple8) -> rule1))] The bear is cold.[(triple3)] The bear is rough.[(triple4)] The bear likes the cow.[(triple5)] The bear likes the rabbit.[(triple6)] The bear needs the cow.[(triple7)] The bear needs the rabbit.[(triple8)] The cow eats the bear.[(triple9)] The cow is big.[(triple10)] The cow is rough.[(triple11)] The cow needs the bear.[(triple12)] The rabbit is big.[(triple13)] The rabbit is rough.[(triple14)] The rabbit likes the cow.[(triple15)] The rabbit needs the bear.[(triple16)]