The bear eats the rabbit. The bear eats the tiger. The bear is big. The bear is blue. The bear needs the rabbit. The bear needs the tiger. The bear visits the rabbit. The bear visits the tiger. The dog needs the rabbit. The rabbit is big. The rabbit needs the bear. The rabbit needs the dog. The rabbit needs the tiger. The rabbit visits the dog. The tiger is blue. If someone needs the rabbit and they visit the rabbit then they eat the bear. If someone needs the tiger and they visit the rabbit then they visit the dog. If the bear eats the dog then the dog is big. If the tiger is round then the tiger needs the dog. If someone visits the bear and they are round then the bear needs the rabbit. If someone is big and round then they visit the bear. If someone needs the rabbit then the rabbit is nice. If someone visits the dog then they need the rabbit.
The dog does not visit the dog.
@0: The bear eats the rabbit.[(triple1)] The bear eats the tiger.[(triple2)] The bear is big.[(triple3)] The bear is blue.[(triple4)] The bear needs the rabbit.[(triple5 OR ((((triple6 triple7) -> rule2)) -> rule8))] The bear needs the tiger.[(triple6)] The bear visits the rabbit.[(triple7)] The bear visits the tiger.[(triple8)] The dog needs the rabbit.[(triple9)] The rabbit is big.[(triple10)] The rabbit needs the bear.[(triple11)] The rabbit needs the dog.[(triple12)] The rabbit needs the tiger.[(triple13)] The rabbit visits the dog.[(triple14)] The tiger is blue.[(triple15)] @1: The bear eats the bear.[(((triple5 triple7) -> rule1) OR ((((((triple6 triple7) -> rule2)) -> rule8) triple7) -> rule1))] The bear visits the dog.[(((triple6 triple7) -> rule2))] The rabbit is nice.[(((triple5) -> rule7) OR ((triple9) -> rule7) OR ((((triple14) -> rule8)) -> rule7) OR ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule7))] The rabbit needs the rabbit.[(((triple14) -> rule8))]