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