The bear eats the dog. The bear eats the rabbit. The bear is kind. The bear is young. The bear visits the rabbit. The dog chases the rabbit. The dog eats the bear. The dog is big. The dog is red. The dog is rough. The rabbit chases the bear. The rabbit eats the dog. The rabbit is big. The rabbit is rough. The rabbit is young. If something is kind then it chases the dog. If something eats the bear then it eats the dog.
The dog is young.
@0: The bear eats the dog.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is kind.[(triple3)] The bear is young.[(triple4)] The bear visits the rabbit.[(triple5)] The dog chases the rabbit.[(triple6)] The dog eats the bear.[(triple7)] The dog is big.[(triple8)] The dog is red.[(triple9)] The dog is rough.[(triple10)] The rabbit chases the bear.[(triple11)] The rabbit eats the dog.[(triple12)] The rabbit is big.[(triple13)] The rabbit is rough.[(triple14)] The rabbit is young.[(triple15)] @1: The bear chases the dog.[(((triple3) -> rule1))] The dog eats the dog.[(((triple7) -> rule2))]