the maze is not chancrous.
sent1: the ringmaster does not overbear professor but it revives if it is Baptistic. sent2: if something is geophysical then the ringmaster is sericultural and it does overbear professor. sent3: the ringmaster is Baptistic. sent4: the maze is a thump and chancrous if the fact that the flasher is not geophysical is correct. sent5: that the ringmaster is not a kind of a thump but it overbears professor is not correct if it is not sericultural. sent6: there is something such that the fact that it does not revive and it is sericultural is not right.
void -> assump1: Let's assume that that the flasher is geophysical is not incorrect.; assump1 -> int1: there is something such that it is not non-geophysical.; int1 & sent2 -> int2: the ringmaster is sericultural and it does overbear professor.; int2 -> int3: the ringmaster does overbear professor.; sent1 & sent3 -> int4: the ringmaster does not overbear professor but it revives.; int4 -> int5: the ringmaster does not overbear professor.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the flasher is not geophysical.; int7 & sent4 -> int8: the maze does thump and it is chancrous.; int8 -> hypothesis;
the maze is not chancrous.
$hypothesis$ = the maze is not chancrous. ; $context$ = sent1: the ringmaster does not overbear professor but it revives if it is Baptistic. sent2: if something is geophysical then the ringmaster is sericultural and it does overbear professor. sent3: the ringmaster is Baptistic. sent4: the maze is a thump and chancrous if the fact that the flasher is not geophysical is correct. sent5: that the ringmaster is not a kind of a thump but it overbears professor is not correct if it is not sericultural. sent6: there is something such that the fact that it does not revive and it is sericultural is not right. ; $proof$ = 
void -> assump1: Let's assume that that the flasher is geophysical is not incorrect.; assump1 -> int1: there is something such that it is not non-geophysical.; int1 & sent2 -> int2: the ringmaster is sericultural and it does overbear professor.; int2 -> int3: the ringmaster does overbear professor.; sent1 & sent3 -> int4: the ringmaster does not overbear professor but it revives.; int4 -> int5: the ringmaster does not overbear professor.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the flasher is not geophysical.; int7 & sent4 -> int8: the maze does thump and it is chancrous.; int8 -> hypothesis; __DISPROVED__