The bear chases the cow. The bear is big. The bear is cold. The bear is nice. The bear likes the cow. The bear sees the cow. The cow chases the bear. The cow is cold. The cow is green. The cow is young. The cow likes the bear. The cow sees the bear. If something likes the bear and it chases the cow then it is cold. If something chases the bear and the bear likes the cow then the cow is young.
The bear does not see the bear.
@0: The bear chases the cow.[(triple1)] The bear is big.[(triple2)] The bear is cold.[(triple3)] The bear is nice.[(triple4)] The bear likes the cow.[(triple5)] The bear sees the cow.[(triple6)] The cow chases the bear.[(triple7)] The cow is cold.[(triple8)] The cow is green.[(triple9)] The cow is young.[(triple10 OR ((triple7 triple5) -> rule2))] The cow likes the bear.[(triple11)] The cow sees the bear.[(triple12)]