The bear eats the cow. The bear is rough. The bear is round. The bear is young. The bear likes the cow. The bear needs the cow. The cow eats the bear. The cow is big. The cow is green. The cow is rough. The cow likes the bear. The cow needs the bear. If someone likes the cow and they are big then they like the bear. If the cow needs the bear and the cow likes the bear then the bear is young. If the cow is round then the cow needs the bear. If someone needs the bear then the bear eats the cow. If someone eats the cow then they eat the bear. If someone is big and they like the cow then they eat the bear.
The bear eats the cow.
@0: The bear eats the cow.[(triple1 OR ((triple12) -> rule4))] The bear is rough.[(triple2)] The bear is round.[(triple3)] The bear is young.[(triple4 OR ((triple12 triple11) -> rule2))] The bear likes the cow.[(triple5)] The bear needs the cow.[(triple6)] The cow eats the bear.[(triple7)] The cow is big.[(triple8)] The cow is green.[(triple9)] The cow is rough.[(triple10)] The cow likes the bear.[(triple11)] The cow needs the bear.[(triple12)] @1: The bear eats the bear.[(((triple1) -> rule5) OR ((((triple12) -> rule4)) -> rule5))]