The bear is cold. The cat visits the rabbit. The rabbit visits the bear. If something eats the bear and it is not cold then it is red. If the rabbit chases the cat then the rabbit is not green. If something visits the bear then it is blue. If something chases the rabbit then the rabbit is rough. If something is rough then it eats the rabbit. If the cat is not red then the cat chases the rabbit.
The rabbit is not blue.
@0: The bear is cold.[(triple1)] The cat visits the rabbit.[(triple2)] The rabbit visits the bear.[(triple3)] @1: The rabbit is blue.[(((triple3) -> rule3))]