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