The bear eats the cow. The bear is big. The bear is cold. The bear is green. The bear likes the cow. The bear sees the cow. The cow eats the bear. The cow is big. The cow is cold. The cow is green. The cow likes the bear. The cow sees the bear. If something is rough then it is nice. If the bear is nice then the bear is cold. If the cow eats the bear then the bear likes the cow.
The bear eats the bear.
@0: The bear eats the cow.[(triple1)] The bear is big.[(triple2)] The bear is cold.[(triple3)] The bear is green.[(triple4)] The bear likes the cow.[(triple5 OR ((triple7) -> rule3))] The bear sees the cow.[(triple6)] The cow eats the bear.[(triple7)] The cow is big.[(triple8)] The cow is cold.[(triple9)] The cow is green.[(triple10)] The cow likes the bear.[(triple11)] The cow sees the bear.[(triple12)]