the compass is not a kingmaker and is not a hope.
sent1: if the compass is illative the fact that the decipherer is not illative but it does emblazon muralist does not hold. sent2: if that something is both not a kingmaker and not a hope is not true it is not a pterodactyl. sent3: the muralist does not bottom. sent4: if that the decipherer is not illative and emblazons muralist is not right the muralist bottoms. sent5: the compass is illative if it is not a kind of a pterodactyl. sent6: the fact that the compass does not hope hold.
sent2 -> int1: the fact that the compass is a kind of a pterodactyl is not true if the fact that it is not a kingmaker and it is not a hope is not right.; void -> assump1: Let's assume that the fact that the compass is not a kingmaker and it does not hope is wrong.; int1 & assump1 -> int2: the compass is not a kind of a pterodactyl.; int2 & sent5 -> int3: the fact that the compass is illative is not wrong.; int3 & sent1 -> int4: that the decipherer is not illative but it does emblazon muralist is false.; int4 & sent4 -> int5: the muralist bottoms.; int5 & sent3 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the compass is not a kingmaker and is not a hope. ; $context$ = sent1: if the compass is illative the fact that the decipherer is not illative but it does emblazon muralist does not hold. sent2: if that something is both not a kingmaker and not a hope is not true it is not a pterodactyl. sent3: the muralist does not bottom. sent4: if that the decipherer is not illative and emblazons muralist is not right the muralist bottoms. sent5: the compass is illative if it is not a kind of a pterodactyl. sent6: the fact that the compass does not hope hold. ; $proof$ = 
sent2 -> int1: the fact that the compass is a kind of a pterodactyl is not true if the fact that it is not a kingmaker and it is not a hope is not right.; void -> assump1: Let's assume that the fact that the compass is not a kingmaker and it does not hope is wrong.; int1 & assump1 -> int2: the compass is not a kind of a pterodactyl.; int2 & sent5 -> int3: the fact that the compass is illative is not wrong.; int3 & sent1 -> int4: that the decipherer is not illative but it does emblazon muralist is false.; int4 & sent4 -> int5: the muralist bottoms.; int5 & sent3 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__