the fact that the noticer is not a kind of a bluing but it is a kind of a SC does not hold if the fact that the signaler does not chomp Donetsk is right.
sent1: the noticer is a kind of a SC. sent2: the noticer is not a kind of a bluing. sent3: if the noticer is motional that the signaler does chomp Donetsk is not false. sent4: if the noticer does not chomp Donetsk then that the signaler is not a bluing but it is a SC is false. sent5: if the noticer is not a bluing but a SC then it is motional.
void -> assump2: Let's assume that the noticer does not blue but it is a SC.; sent5 & assump2 -> int1: the noticer is motional.; sent3 & int1 -> int2: the signaler chomps Donetsk.; void -> assump1: Let's assume that the signaler does not chomp Donetsk.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that the noticer is not a bluing but a SC is incorrect.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that the noticer is not a kind of a bluing but it is a kind of a SC does not hold if the fact that the signaler does not chomp Donetsk is right. ; $context$ = sent1: the noticer is a kind of a SC. sent2: the noticer is not a kind of a bluing. sent3: if the noticer is motional that the signaler does chomp Donetsk is not false. sent4: if the noticer does not chomp Donetsk then that the signaler is not a bluing but it is a SC is false. sent5: if the noticer is not a bluing but a SC then it is motional. ; $proof$ = 
void -> assump2: Let's assume that the noticer does not blue but it is a SC.; sent5 & assump2 -> int1: the noticer is motional.; sent3 & int1 -> int2: the signaler chomps Donetsk.; void -> assump1: Let's assume that the signaler does not chomp Donetsk.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that the noticer is not a bluing but a SC is incorrect.; [assump1] & int4 -> hypothesis; __PROVED__