the luthier is not abomasal.
sent1: the oilpaper is a lira if that the hardware is not a lira and it is not a XX does not hold. sent2: something is abomasal if it does drink ligand. sent3: if there is something such that it is a Nigerien the plank is a macho. sent4: if there exists something such that it is a kind of a macho the fact that the hardware is not a lira and it is not a XX does not hold. sent5: there exists something such that the fact that it is not atomistic and it is a flat is false. sent6: a lira is both not political and not a abomasum. sent7: if the luthier is atomistic it is onshore. sent8: if the floodplain is non-sturdy thing that is not abomasal then the luthier is not abomasal. sent9: that the billboard is a kind of .45-caliber thing that is not a Nigerien is not true. sent10: if there exists something such that the fact that it is not atomistic and it is a kind of a flat is wrong then the luthier is sturdy. sent11: that something is a trephination and a Pimlico is false if it does not drink fooling. sent12: the fact that the Kamia is abomasal is right. sent13: if the luthier is sturdy it drinks ligand. sent14: if the luthier is a gutter it does emote surfperch. sent15: if there is something such that it is nonpolitical thing that is not a abomasum the ligand does not drink fooling. sent16: the billboard is a kind of a Nigerien if the fact that it is .45-caliber and is not a Nigerien does not hold.
sent5 & sent10 -> int1: the luthier is not non-sturdy.; int1 & sent13 -> int2: the luthier drinks ligand.; sent2 -> int3: if the luthier does drink ligand it is abomasal.; int2 & int3 -> hypothesis;
the luthier is not abomasal.
sent11 -> int4: that the ligand is a trephination and is a Pimlico is false if it does not drink fooling.; sent6 -> int5: if the oilpaper is a kind of a lira then it is not political and it is not a abomasum.; sent16 & sent9 -> int6: the billboard is a kind of a Nigerien.; int6 -> int7: there is something such that it is a Nigerien.; int7 & sent3 -> int8: the plank is a macho.; int8 -> int9: something is a kind of a macho.; int9 & sent4 -> int10: that the hardware is not a lira and not a XX is not true.; sent1 & int10 -> int11: the oilpaper is a lira.; int5 & int11 -> int12: the oilpaper is not political and it is not a abomasum.; int12 -> int13: something is not political and is not a abomasum.; int13 & sent15 -> int14: that the ligand does not drink fooling is not wrong.; int4 & int14 -> int15: that the ligand is a kind of a trephination that is a Pimlico is not correct.; int15 -> int16: there exists something such that the fact that it is a kind of a trephination and it is a Pimlico does not hold.;
$hypothesis$ = the luthier is not abomasal. ; $context$ = sent1: the oilpaper is a lira if that the hardware is not a lira and it is not a XX does not hold. sent2: something is abomasal if it does drink ligand. sent3: if there is something such that it is a Nigerien the plank is a macho. sent4: if there exists something such that it is a kind of a macho the fact that the hardware is not a lira and it is not a XX does not hold. sent5: there exists something such that the fact that it is not atomistic and it is a flat is false. sent6: a lira is both not political and not a abomasum. sent7: if the luthier is atomistic it is onshore. sent8: if the floodplain is non-sturdy thing that is not abomasal then the luthier is not abomasal. sent9: that the billboard is a kind of .45-caliber thing that is not a Nigerien is not true. sent10: if there exists something such that the fact that it is not atomistic and it is a kind of a flat is wrong then the luthier is sturdy. sent11: that something is a trephination and a Pimlico is false if it does not drink fooling. sent12: the fact that the Kamia is abomasal is right. sent13: if the luthier is sturdy it drinks ligand. sent14: if the luthier is a gutter it does emote surfperch. sent15: if there is something such that it is nonpolitical thing that is not a abomasum the ligand does not drink fooling. sent16: the billboard is a kind of a Nigerien if the fact that it is .45-caliber and is not a Nigerien does not hold. ; $proof$ = 
sent5 & sent10 -> int1: the luthier is not non-sturdy.; int1 & sent13 -> int2: the luthier drinks ligand.; sent2 -> int3: if the luthier does drink ligand it is abomasal.; int2 & int3 -> hypothesis; __DISPROVED__