The bear is big. The bear is cold. The bear is green. The bear is kind. The bear is rough. The bear needs the cow. The bear sees the cow. The bear visits the cow. The cow is big. The cow is cold. The cow is green. The cow is kind. The cow needs the bear. The cow sees the bear. The cow visits the bear. If something visits the cow and the cow sees the bear then it sees the cow.
The bear is not rough.
@0: The bear is big.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is rough.[(triple5)] The bear needs the cow.[(triple6)] The bear sees the cow.[(triple7 OR ((triple8 triple14) -> rule1))] The bear visits the cow.[(triple8)] The cow is big.[(triple9)] The cow is cold.[(triple10)] The cow is green.[(triple11)] The cow is kind.[(triple12)] The cow needs the bear.[(triple13)] The cow sees the bear.[(triple14)] The cow visits the bear.[(triple15)]