The bear likes the rabbit. The rabbit is not kind. If the bear does not like the rabbit then the bear eats the rabbit. If someone likes the rabbit then they are kind. If someone eats the rabbit and they do not like the rabbit then they do not need the rabbit. If someone likes the rabbit and the rabbit needs the bear then they like the bear. If someone needs the bear then they do not eat the bear. If someone is kind and they do not eat the rabbit then they do not eat the bear. If someone is blue and they do not eat the bear then the bear is blue. Blue people are big.
The rabbit is red.
@0: The bear likes the rabbit.[(triple1)] The rabbit is not kind.[(triple2)] @1: The bear is kind.[(((triple1) -> rule2))]