if the nine-spot clangors airliner then the airliner is a gene.
sent1: something is a kind of a gene if it is a Peirce. sent2: the nine-spot is not minor if it is a kind of a Peirce. sent3: the nine-spot does not clangor airliner if the fact that either the balminess is not minor or it does clangor airliner or both does not hold. sent4: either the balminess is weightless or it is not minor or both if the nine-spot is not weightless. sent5: if the balminess is not weightless then the airliner is a Peirce. sent6: the balminess does not premise dotage. sent7: that the nine-spot is not minor is correct if it does clangor airliner. sent8: the airliner is a kind of a Peirce if the fact that the balminess is minor is not incorrect. sent9: the whistler is a gene. sent10: something is not a Peirce and it is not enthusiastic if it is inhumane. sent11: if the nine-spot is not minor the balminess is minor or it is not weightless or both. sent12: if the fact that the nine-spot does not clangor airliner is right then the poseuse is plantar and/or it is not an airliner. sent13: the balminess is a gene. sent14: if the fact that the airliner is weightless but it is not a gene is not right then that it is not weightless is true. sent15: if the airliner is not a Peirce that it is both weightless and not a gene does not hold.
void -> assump1: Let's assume that the nine-spot does clangor airliner.; sent7 & assump1 -> int1: the nine-spot is not minor.; int1 & sent11 -> int2: the balminess either is minor or is not weightless or both.; int2 & sent8 & sent5 -> int3: the airliner is a Peirce.; sent1 -> int4: the airliner is a kind of a gene if it is a kind of a Peirce.; int3 & int4 -> int5: the airliner is a gene.; [assump1] & int5 -> hypothesis;
either the poseuse is plantar or it is not an airliner or both.
sent10 -> int6: if the airliner is inhumane then it is not a Peirce and it is not enthusiastic.;
$hypothesis$ = if the nine-spot clangors airliner then the airliner is a gene. ; $context$ = sent1: something is a kind of a gene if it is a Peirce. sent2: the nine-spot is not minor if it is a kind of a Peirce. sent3: the nine-spot does not clangor airliner if the fact that either the balminess is not minor or it does clangor airliner or both does not hold. sent4: either the balminess is weightless or it is not minor or both if the nine-spot is not weightless. sent5: if the balminess is not weightless then the airliner is a Peirce. sent6: the balminess does not premise dotage. sent7: that the nine-spot is not minor is correct if it does clangor airliner. sent8: the airliner is a kind of a Peirce if the fact that the balminess is minor is not incorrect. sent9: the whistler is a gene. sent10: something is not a Peirce and it is not enthusiastic if it is inhumane. sent11: if the nine-spot is not minor the balminess is minor or it is not weightless or both. sent12: if the fact that the nine-spot does not clangor airliner is right then the poseuse is plantar and/or it is not an airliner. sent13: the balminess is a gene. sent14: if the fact that the airliner is weightless but it is not a gene is not right then that it is not weightless is true. sent15: if the airliner is not a Peirce that it is both weightless and not a gene does not hold. ; $proof$ = 
void -> assump1: Let's assume that the nine-spot does clangor airliner.; sent7 & assump1 -> int1: the nine-spot is not minor.; int1 & sent11 -> int2: the balminess either is minor or is not weightless or both.; int2 & sent8 & sent5 -> int3: the airliner is a Peirce.; sent1 -> int4: the airliner is a kind of a gene if it is a kind of a Peirce.; int3 & int4 -> int5: the airliner is a gene.; [assump1] & int5 -> hypothesis; __PROVED__