The bear chases the lion. The bear eats the rabbit. The bear is rough. The bear visits the rabbit. The lion chases the bear. The lion eats the rabbit. The lion is nice. The lion visits the tiger. The rabbit does not eat the lion. The rabbit eats the tiger. The rabbit is big. The rabbit is nice. The tiger chases the bear. The tiger eats the bear. The tiger visits the bear. The tiger does not visit the lion. If someone is rough then they chase the tiger. If someone visits the rabbit then they do not visit the tiger. If the rabbit does not visit the lion then the rabbit is big.
The bear is rough.
@0: The bear chases the lion.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is rough.[(triple3)] The bear visits the rabbit.[(triple4)] The lion chases the bear.[(triple5)] The lion eats the rabbit.[(triple6)] The lion is nice.[(triple7)] The lion visits the tiger.[(triple8)] The rabbit does not eat the lion.[(triple9)] The rabbit eats the tiger.[(triple10)] The rabbit is big.[(triple11)] The rabbit is nice.[(triple12)] The tiger chases the bear.[(triple13)] The tiger does not visit the lion.[(triple16)] The tiger eats the bear.[(triple14)] The tiger visits the bear.[(triple15)] @1: The bear chases the tiger.[(((triple3) -> rule1))] The bear does not visit the tiger.[(((triple4) -> rule2))]