The bear is green. The bear likes the rabbit. The dog is not kind. The rabbit is cold. The rabbit likes the bear. The tiger is young. The tiger visits the dog. If something sees the tiger and it is not cold then the tiger visits the rabbit. If the tiger sees the dog then the dog is not young. If something is young and it does not visit the dog then it likes the tiger. If something likes the dog then the dog does not visit the rabbit. If something likes the rabbit and the rabbit likes the dog then it likes the bear. If something is green and not young then it does not see the bear. If something visits the dog then it sees the bear. If something is young and it does not like the bear then it is red.
The rabbit is not red.
@0: The bear is green.[(triple1)] The bear likes the rabbit.[(triple2)] The dog is not kind.[(triple3)] The rabbit is cold.[(triple4)] The rabbit likes the bear.[(triple5)] The tiger is young.[(triple6)] The tiger visits the dog.[(triple7)] @1: The tiger sees the bear.[(((triple7) -> rule7))]