The bear chases the cow. The bear chases the dog. The bear eats the cow. The bear is kind. The bear is young. The cow chases the dog. The cow is big. The cow needs the dog. The dog does not chase the cow. The dog eats the cow. The dog is nice. The dog is rough. The dog needs the cow. The rabbit chases the dog. The rabbit does not eat the cow. The rabbit is rough. If something is nice then it chases the rabbit. If something is young then it eats the dog. If the bear is not big then the bear does not eat the dog. Big things are not kind. If something needs the cow then it needs the rabbit. If something needs the rabbit then the rabbit is big.
The dog eats the dog.
@0: The bear chases the cow.[(triple1)] The bear chases the dog.[(triple2)] The bear eats the cow.[(triple3)] The bear is kind.[(triple4)] The bear is young.[(triple5)] The cow chases the dog.[(triple6)] The cow is big.[(triple7)] The cow needs the dog.[(triple8)] The dog does not chase the cow.[(triple9)] The dog eats the cow.[(triple10)] The dog is nice.[(triple11)] The dog is rough.[(triple12)] The dog needs the cow.[(triple13)] The rabbit chases the dog.[(triple14)] The rabbit does not eat the cow.[(triple15)] The rabbit is rough.[(triple16)] @1: The bear eats the dog.[(((triple5) -> rule2))] The cow is not kind.[(((triple7) -> rule4))] The dog chases the rabbit.[(((triple11) -> rule1))] The dog needs the rabbit.[(((triple13) -> rule5))] @2: The rabbit is big.[(((((triple13) -> rule5)) -> rule6))] @3: The rabbit is not kind.[(((((((triple13) -> rule5)) -> rule6)) -> rule4))]