The bear eats the cat. The bear is big. The bear is green. The bear likes the cat. The cat is not big. The cat is green. The cat likes the dog. The cat visits the rabbit. The dog does not eat the cat. The dog eats the rabbit. The dog is green. The rabbit eats the bear. The rabbit does not eat the cat. The rabbit likes the bear. The rabbit likes the cat. The rabbit visits the cat. If someone is nice then they eat the rabbit. If the bear is nice and the bear likes the cat then the bear likes the rabbit. If someone is red then they eat the bear. If someone likes the bear then they are nice. If the rabbit likes the cat and the cat is not kind then the cat is red. If someone visits the dog and they are not red then the dog does not like the rabbit.
The rabbit does not eat the rabbit.
@0: The bear eats the cat.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3)] The bear likes the cat.[(triple4)] The cat is green.[(triple6)] The cat is not big.[(triple5)] The cat likes the dog.[(triple7)] The cat visits the rabbit.[(triple8)] The dog does not eat the cat.[(triple9)] The dog eats the rabbit.[(triple10)] The dog is green.[(triple11)] The rabbit does not eat the cat.[(triple13)] The rabbit eats the bear.[(triple12)] The rabbit likes the bear.[(triple14)] The rabbit likes the cat.[(triple15)] The rabbit visits the cat.[(triple16)] @1: The rabbit is nice.[(((triple14) -> rule4))] @2: The rabbit eats the rabbit.[(((((triple14) -> rule4)) -> rule1))]