The bear is big. The dog is big. The rabbit is round. If the bear is round then the bear eats the dog. All round things are green. If something visits the dog and it does not need the dog then it visits the rabbit. If something is kind and blue then it visits the dog. If the dog is green then the dog eats the bear. If something visits the bear and it does not eat the bear then it eats the rabbit.
The bear is not big.
@0: The bear is big.[(triple1)] The dog is big.[(triple2)] The rabbit is round.[(triple3)] @1: The rabbit is green.[(((triple3) -> rule2))]