The dog is green. The dog is young. The rabbit chases the dog. The rabbit eats the dog. The rabbit is cold. The rabbit is green. The rabbit sees the dog. If the rabbit eats the dog and the rabbit chases the dog then the rabbit is young. If someone eats the rabbit and they eat the dog then the rabbit chases the dog.
The rabbit is green.
@0: The dog is green.[(triple1)] The dog is young.[(triple2)] The rabbit chases the dog.[(triple3)] The rabbit eats the dog.[(triple4)] The rabbit is cold.[(triple5)] The rabbit is green.[(triple6)] The rabbit sees the dog.[(triple7)] @1: The rabbit is young.[(((triple4 triple3) -> rule1))]