that if the fact that the commissary is anagrammatic is true the poultry is a Bogart is wrong.
sent1: something is a kind of a Bogart if it is not microelectronic and it does not braid incommutability. sent2: the poultry is not microelectronic. sent3: if there is something such that that it is not microelectronic and does not braid incommutability is false the commissary is not anagrammatic.
void -> assump1: Let's assume that the fact that the poultry is not microelectronic and it does not braid incommutability is wrong.; assump1 -> int1: there is something such that the fact that it is a kind of non-microelectronic thing that does not braid incommutability is not right.; int1 & sent3 -> int2: the commissary is not anagrammatic.; void -> assump2: Let's assume that the commissary is anagrammatic.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the poultry is non-microelectronic and it does not braid incommutability.; sent1 -> int5: if the poultry is a kind of non-microelectronic thing that does not braid incommutability then it is a Bogart.; int4 & int5 -> int6: the poultry is a Bogart.; [assump2] & int6 -> hypothesis;
$hypothesis$ = that if the fact that the commissary is anagrammatic is true the poultry is a Bogart is wrong. ; $context$ = sent1: something is a kind of a Bogart if it is not microelectronic and it does not braid incommutability. sent2: the poultry is not microelectronic. sent3: if there is something such that that it is not microelectronic and does not braid incommutability is false the commissary is not anagrammatic. ; $proof$ = 
void -> assump1: Let's assume that the fact that the poultry is not microelectronic and it does not braid incommutability is wrong.; assump1 -> int1: there is something such that the fact that it is a kind of non-microelectronic thing that does not braid incommutability is not right.; int1 & sent3 -> int2: the commissary is not anagrammatic.; void -> assump2: Let's assume that the commissary is anagrammatic.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the poultry is non-microelectronic and it does not braid incommutability.; sent1 -> int5: if the poultry is a kind of non-microelectronic thing that does not braid incommutability then it is a Bogart.; int4 & int5 -> int6: the poultry is a Bogart.; [assump2] & int6 -> hypothesis; __DISPROVED__