The bear chases the cow. The bear does not eat the cat. The bear is kind. The bear is rough. The bear sees the cow. The cat sees the bear. The cat sees the cow. The cow does not chase the bear. The cow eats the bear. The cow does not eat the cat. The cow is blue. The cow is kind. The cow is nice. The cow is rough. The cow sees the cat. If something is blue and nice then it eats the cow. If the cow sees the bear then the bear does not chase the cow. If something eats the bear then it is kind.
The cat eats the cow.
@0: The bear chases the cow.[(triple1)] The bear does not eat the cat.[(triple2)] The bear is kind.[(triple3)] The bear is rough.[(triple4)] The bear sees the cow.[(triple5)] The cat sees the bear.[(triple6)] The cat sees the cow.[(triple7)] The cow does not chase the bear.[(triple8)] The cow does not eat the cat.[(triple10)] The cow eats the bear.[(triple9)] The cow is blue.[(triple11)] The cow is kind.[(triple12 OR ((triple9) -> rule3))] The cow is nice.[(triple13)] The cow is rough.[(triple14)] The cow sees the cat.[(triple15)] @1: The cow eats the cow.[(((triple11 triple13) -> rule1))]