The bear eats the cow. The bear is cold. The bear is kind. The bear is red. The bear is rough. The bear is young. The bear likes the cow. The bear visits the cow. The cow eats the bear. The cow is cold. The cow is kind. The cow is red. The cow is rough. The cow is young. The cow likes the bear. The cow visits the bear. If someone visits the bear then the bear is red.
The bear does not visit the bear.
@0: The bear eats the cow.[(triple1)] The bear is cold.[(triple2)] The bear is kind.[(triple3)] The bear is red.[(triple4 OR ((triple16) -> rule1))] The bear is rough.[(triple5)] The bear is young.[(triple6)] The bear likes the cow.[(triple7)] The bear visits the cow.[(triple8)] The cow eats the bear.[(triple9)] The cow is cold.[(triple10)] The cow is kind.[(triple11)] The cow is red.[(triple12)] The cow is rough.[(triple13)] The cow is young.[(triple14)] The cow likes the bear.[(triple15)] The cow visits the bear.[(triple16)]