The bear likes the rabbit. The bear sees the cow. The bear sees the rabbit. The bear visits the rabbit. The cow is kind. The cow is young. The cow likes the bear. The cow likes the rabbit. The cow sees the bear. The cow does not see the rabbit. The cow visits the rabbit. The rabbit is rough. The rabbit sees the bear. The rabbit sees the cow. The rabbit visits the bear. The rabbit visits the cow. If the cow sees the rabbit and the cow is rough then the rabbit is young. If something likes the bear then the bear sees the rabbit.
The rabbit is not young.
@0: The bear likes the rabbit.[(triple1)] The bear sees the cow.[(triple2)] The bear sees the rabbit.[(triple3 OR ((triple7) -> rule2))] The bear visits the rabbit.[(triple4)] The cow does not see the rabbit.[(triple10)] The cow is kind.[(triple5)] The cow is young.[(triple6)] The cow likes the bear.[(triple7)] The cow likes the rabbit.[(triple8)] The cow sees the bear.[(triple9)] The cow visits the rabbit.[(triple11)] The rabbit is rough.[(triple12)] The rabbit sees the bear.[(triple13)] The rabbit sees the cow.[(triple14)] The rabbit visits the bear.[(triple15)] The rabbit visits the cow.[(triple16)]