The bear is nice. The cat is big. The dog eats the rabbit. The rabbit chases the dog. If something is nice then it needs the rabbit. If something chases the dog then it needs the rabbit. If something eats the bear then it is nice. If the rabbit eats the cat then the rabbit eats the dog. If something eats the cat and the cat eats the dog then the dog does not eat the rabbit. If something needs the dog then it chases the dog. If something eats the bear and it does not chase the bear then it is rough. If the cat eats the dog then the cat needs the bear.
The cat is big.
@0: The bear is nice.[(triple1)] The cat is big.[(triple2)] The dog eats the rabbit.[(triple3)] The rabbit chases the dog.[(triple4)] @1: The bear needs the rabbit.[(((triple1) -> rule1))] The rabbit needs the rabbit.[(((triple4) -> rule2))]