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