the pout is not indusial.
sent1: something that is not angiospermous is perinatal. sent2: the pout is indusial if the quibbler defibrillates royal. sent3: The Phoxinus does not interrelate sari. sent4: the Newtonian is a uniform. sent5: the sari is perinatal if that it is not angiospermous is right. sent6: if the fact that that something is angiospermous but it is not a lurch hold is incorrect it is perinatal. sent7: the sari does not interrelate Phoxinus. sent8: that the quibbler is a carhop is right if there exists something such that it is perinatal and juridical. sent9: that something is not perinatal and does not interrelate Phoxinus does not hold if it is not juridical. sent10: something is juridical. sent11: if the Newtonian does uniform the sari is juridical. sent12: if the sari does not defibrillate royal then the fact that it is juridical and it is a carhop is false. sent13: something is not indusial if the fact that it is not perinatal and it does not interrelate Phoxinus is not correct. sent14: there exists something such that it is perinatal. sent15: something does defibrillate royal if it is a carhop. sent16: if the sari does not interrelate Phoxinus that it is angiospermous and is not a lurch does not hold.
sent16 & sent7 -> int1: the fact that the sari is angiospermous thing that does not lurch is not true.; sent6 -> int2: if that the sari is a kind of angiospermous thing that is not a kind of a lurch is wrong then it is perinatal.; int1 & int2 -> int3: the sari is perinatal.; sent11 & sent4 -> int4: the sari is juridical.; int3 & int4 -> int5: the sari is perinatal and is juridical.; int5 -> int6: something is perinatal and it is juridical.; int6 & sent8 -> int7: the quibbler is a carhop.; sent15 -> int8: the quibbler does defibrillate royal if it is a carhop.; int7 & int8 -> int9: the quibbler does defibrillate royal.; int9 & sent2 -> hypothesis;
the pout is not indusial.
sent13 -> int10: if that the pout is not perinatal and it does not interrelate Phoxinus does not hold it is not indusial.; sent9 -> int11: that the pout is not perinatal and it does not interrelate Phoxinus is not correct if it is not juridical.;
$hypothesis$ = the pout is not indusial. ; $context$ = sent1: something that is not angiospermous is perinatal. sent2: the pout is indusial if the quibbler defibrillates royal. sent3: The Phoxinus does not interrelate sari. sent4: the Newtonian is a uniform. sent5: the sari is perinatal if that it is not angiospermous is right. sent6: if the fact that that something is angiospermous but it is not a lurch hold is incorrect it is perinatal. sent7: the sari does not interrelate Phoxinus. sent8: that the quibbler is a carhop is right if there exists something such that it is perinatal and juridical. sent9: that something is not perinatal and does not interrelate Phoxinus does not hold if it is not juridical. sent10: something is juridical. sent11: if the Newtonian does uniform the sari is juridical. sent12: if the sari does not defibrillate royal then the fact that it is juridical and it is a carhop is false. sent13: something is not indusial if the fact that it is not perinatal and it does not interrelate Phoxinus is not correct. sent14: there exists something such that it is perinatal. sent15: something does defibrillate royal if it is a carhop. sent16: if the sari does not interrelate Phoxinus that it is angiospermous and is not a lurch does not hold. ; $proof$ = 
sent16 & sent7 -> int1: the fact that the sari is angiospermous thing that does not lurch is not true.; sent6 -> int2: if that the sari is a kind of angiospermous thing that is not a kind of a lurch is wrong then it is perinatal.; int1 & int2 -> int3: the sari is perinatal.; sent11 & sent4 -> int4: the sari is juridical.; int3 & int4 -> int5: the sari is perinatal and is juridical.; int5 -> int6: something is perinatal and it is juridical.; int6 & sent8 -> int7: the quibbler is a carhop.; sent15 -> int8: the quibbler does defibrillate royal if it is a carhop.; int7 & int8 -> int9: the quibbler does defibrillate royal.; int9 & sent2 -> hypothesis; __DISPROVED__