the gunboat is a duologue.
sent1: something that does girdle jiqui is not a duologue and is not Leonardesque. sent2: either something is inflexible or it is not a disinterestedness or both if it does not scuff soteriology. sent3: something that is not a disinterestedness is hircine. sent4: if something is radiolucent but it is not a philistine the protamine does not scuff soteriology. sent5: if the protamine is hircine the jiqui girdles galaxy. sent6: that the gunboat does girdle jiqui hold if the jiqui does girdle galaxy. sent7: there exists something such that it is both radiolucent and not a philistine. sent8: something is hircine if it is inflexible and/or is not a disinterestedness.
sent7 & sent4 -> int1: the protamine does not scuff soteriology.; sent2 -> int2: that if the protamine does not scuff soteriology then either the protamine is not flexible or it is not a disinterestedness or both is not false.; int1 & int2 -> int3: the protamine is inflexible and/or it is not a disinterestedness.; sent8 -> int4: the protamine is hircine if either it is inflexible or it is not a disinterestedness or both.; int3 & int4 -> int5: the protamine is hircine.; int5 & sent5 -> int6: the jiqui does girdle galaxy.; int6 & sent6 -> int7: the fact that the gunboat girdles jiqui is not false.; sent1 -> int8: the gunboat is not a kind of a duologue and is not Leonardesque if it does girdle jiqui.; int7 & int8 -> int9: the gunboat is not a duologue and not Leonardesque.; int9 -> hypothesis;
$hypothesis$ = the gunboat is a duologue. ; $context$ = sent1: something that does girdle jiqui is not a duologue and is not Leonardesque. sent2: either something is inflexible or it is not a disinterestedness or both if it does not scuff soteriology. sent3: something that is not a disinterestedness is hircine. sent4: if something is radiolucent but it is not a philistine the protamine does not scuff soteriology. sent5: if the protamine is hircine the jiqui girdles galaxy. sent6: that the gunboat does girdle jiqui hold if the jiqui does girdle galaxy. sent7: there exists something such that it is both radiolucent and not a philistine. sent8: something is hircine if it is inflexible and/or is not a disinterestedness. ; $proof$ = 
sent7 & sent4 -> int1: the protamine does not scuff soteriology.; sent2 -> int2: that if the protamine does not scuff soteriology then either the protamine is not flexible or it is not a disinterestedness or both is not false.; int1 & int2 -> int3: the protamine is inflexible and/or it is not a disinterestedness.; sent8 -> int4: the protamine is hircine if either it is inflexible or it is not a disinterestedness or both.; int3 & int4 -> int5: the protamine is hircine.; int5 & sent5 -> int6: the jiqui does girdle galaxy.; int6 & sent6 -> int7: the fact that the gunboat girdles jiqui is not false.; sent1 -> int8: the gunboat is not a kind of a duologue and is not Leonardesque if it does girdle jiqui.; int7 & int8 -> int9: the gunboat is not a duologue and not Leonardesque.; int9 -> hypothesis; __DISPROVED__