The bear chases the cow. The bear is cold. The bear is green. The bear is kind. The bear is rough. The bear is young. The bear likes the cow. The bear visits the cow. The cow chases the bear. The cow is cold. The cow is green. The cow is kind. The cow is rough. The cow is young. The cow likes the bear. The cow visits the bear. If the cow is green and the cow is kind then the cow is rough. All green, cold things are kind. If something visits the bear then the bear chases the cow.
The bear does not visit the bear.
@0: The bear chases the cow.[(triple1 OR ((triple16) -> rule3))] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear is kind.[(triple4 OR ((triple3 triple2) -> rule2))] The bear is rough.[(triple5)] The bear is young.[(triple6)] The bear likes the cow.[(triple7)] The bear visits the cow.[(triple8)] The cow chases the bear.[(triple9)] The cow is cold.[(triple10)] The cow is green.[(triple11)] The cow is kind.[(triple12 OR ((triple11 triple10) -> rule2))] The cow is rough.[(triple13 OR ((triple11 triple12) -> rule1) OR ((triple11 ((triple11 triple10) -> rule2)) -> rule1))] The cow is young.[(triple14)] The cow likes the bear.[(triple15)] The cow visits the bear.[(triple16)]