The bear does not eat the rabbit. The bear is not nice. The bear visits the dog. The bear visits the tiger. The dog chases the rabbit. The dog eats the bear. The dog is not round. The dog visits the tiger. The rabbit does not chase the tiger. The rabbit eats the dog. The rabbit is big. The rabbit is red. The rabbit visits the bear. The tiger does not chase the bear. The tiger does not chase the rabbit. The tiger is nice. If someone visits the tiger and the tiger does not visit the dog then the dog chases the bear. If someone chases the dog then the dog eats the tiger. If the bear chases the dog then the bear chases the tiger. If someone chases the rabbit then the rabbit eats the bear. If someone chases the bear then they are not round. If someone visits the rabbit and they chase the dog then the dog visits the rabbit. If the rabbit eats the bear then the rabbit chases the bear. If someone is round and nice then they eat the rabbit.
The bear does not visit the bear.
@0: The bear does not eat the rabbit.[(triple1)] The bear is not nice.[(triple2)] The bear visits the dog.[(triple3)] The bear visits the tiger.[(triple4)] The dog chases the rabbit.[(triple5)] The dog eats the bear.[(triple6)] The dog is not round.[(triple7)] The dog visits the tiger.[(triple8)] The rabbit does not chase the tiger.[(triple9)] The rabbit eats the dog.[(triple10)] The rabbit is big.[(triple11)] The rabbit is red.[(triple12)] The rabbit visits the bear.[(triple13)] The tiger does not chase the bear.[(triple14)] The tiger does not chase the rabbit.[(triple15)] The tiger is nice.[(triple16)] @1: The rabbit eats the bear.[(((triple5) -> rule4))] @2: The rabbit chases the bear.[(((((triple5) -> rule4)) -> rule7))] @3: The rabbit is not round.[(((((((triple5) -> rule4)) -> rule7)) -> rule5))]