The bear is big. The bear is blue. The bear is nice. The bear is red. The bear needs the cow. The bear sees the cow. The cow chases the bear. The cow is blue. The cow needs the bear. The cow sees the bear. If someone is big and blue then they need the cow. If the bear needs the cow and the bear chases the cow then the cow is blue.
The cow does not need the cow.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear needs the cow.[(triple5 OR ((triple1 triple2) -> rule1))] The bear sees the cow.[(triple6)] The cow chases the bear.[(triple7)] The cow is blue.[(triple8)] The cow needs the bear.[(triple9)] The cow sees the bear.[(triple10)]