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