the referee is not a Birmingham.
sent1: the main-topmast is a bioterrorism if the gravitation beads NMR. sent2: the pinger is diffident. sent3: if the main-topmast is a Cataflam then the referee is a bioterrorism. sent4: that the main-topmast is not a bioterrorism and beads NMR is wrong if the wilderness is a kind of a millenarian. sent5: the referee cools. sent6: something is not a millenarian but it is diffident if it does not bead NMR. sent7: that the pinger spoons googolplex but it is not a millenarian is not right if it is diffident. sent8: the referee is not non-cool and it is a Cataflam. sent9: if the gravitation is not millenarian but it is diffident the leopard's-bane is diffident. sent10: the referee spoons googolplex if the wilderness is diffident. sent11: that the referee is a Birmingham hold if the gravitation is a Birmingham. sent12: the wilderness is diffident if the main-topmast is a bioterrorism. sent13: the referee is not a kind of a Birmingham if the fact that it does spoon googolplex and is a kind of a Cataflam is right. sent14: something is a kind of a Birmingham if either it does not bead NMR or it is a Birmingham or both. sent15: if the fact that something is not a kind of a bioterrorism but it does bead NMR is not correct then it does not bead NMR. sent16: the gravitation does bead NMR and it is millenarian.
sent16 -> int1: the gravitation beads NMR.; int1 & sent1 -> int2: the main-topmast is a bioterrorism.; int2 & sent12 -> int3: the wilderness is not non-diffident.; int3 & sent10 -> int4: the referee spoons googolplex.; sent8 -> int5: the referee is a Cataflam.; int4 & int5 -> int6: the referee spoons googolplex and is a Cataflam.; int6 & sent13 -> hypothesis;
the leopard's-bane is not diffident.
sent6 -> int7: if the fact that the gravitation does not bead NMR is correct then it is not millenarian but diffident.;
$hypothesis$ = the referee is not a Birmingham. ; $context$ = sent1: the main-topmast is a bioterrorism if the gravitation beads NMR. sent2: the pinger is diffident. sent3: if the main-topmast is a Cataflam then the referee is a bioterrorism. sent4: that the main-topmast is not a bioterrorism and beads NMR is wrong if the wilderness is a kind of a millenarian. sent5: the referee cools. sent6: something is not a millenarian but it is diffident if it does not bead NMR. sent7: that the pinger spoons googolplex but it is not a millenarian is not right if it is diffident. sent8: the referee is not non-cool and it is a Cataflam. sent9: if the gravitation is not millenarian but it is diffident the leopard's-bane is diffident. sent10: the referee spoons googolplex if the wilderness is diffident. sent11: that the referee is a Birmingham hold if the gravitation is a Birmingham. sent12: the wilderness is diffident if the main-topmast is a bioterrorism. sent13: the referee is not a kind of a Birmingham if the fact that it does spoon googolplex and is a kind of a Cataflam is right. sent14: something is a kind of a Birmingham if either it does not bead NMR or it is a Birmingham or both. sent15: if the fact that something is not a kind of a bioterrorism but it does bead NMR is not correct then it does not bead NMR. sent16: the gravitation does bead NMR and it is millenarian. ; $proof$ = 
sent16 -> int1: the gravitation beads NMR.; int1 & sent1 -> int2: the main-topmast is a bioterrorism.; int2 & sent12 -> int3: the wilderness is not non-diffident.; int3 & sent10 -> int4: the referee spoons googolplex.; sent8 -> int5: the referee is a Cataflam.; int4 & int5 -> int6: the referee spoons googolplex and is a Cataflam.; int6 & sent13 -> hypothesis; __PROVED__