the osteostracan is not a flatlet.
sent1: the foreperson does adduct cake and it does turn famine. sent2: that the foreperson is a flatlet is true. sent3: the osteostracan is not a flatlet if the foreperson does not turn famine and it is not a kind of a flatlet. sent4: if the osteostracan is not a pluperfect then the fact that the foreperson is unsupportive thing that is not a trap is false. sent5: if something is a lavatory it is both not lobular and not a Carew. sent6: the foreperson does adduct cake. sent7: the replica lambs collotype and is a farandole. sent8: if something is lobular it adducts cake and does not turn famine. sent9: the osteostracan is a kind of a flatlet if the foreperson turns famine. sent10: the aerosol is lobular and it is a Carew if the foreperson is not a lavatory. sent11: the foreperson is monomorphemic and a millenary. sent12: the foreperson is a flatlet and it does adduct cake. sent13: if the EU is a kind of a astatine that is not grammatical then the osteostracan is not a pluperfect. sent14: something is a kind of a flatlet if it does adduct cake and does not turn famine. sent15: something is not a lavatory if the fact that it is both not supportive and not a trap is incorrect.
sent1 -> int1: the foreperson does turn famine.; sent9 & int1 -> hypothesis;
the osteostracan is not a flatlet.
sent5 -> int2: the lead-in is not lobular and is not a Carew if it is a kind of a lavatory.;
$hypothesis$ = the osteostracan is not a flatlet. ; $context$ = sent1: the foreperson does adduct cake and it does turn famine. sent2: that the foreperson is a flatlet is true. sent3: the osteostracan is not a flatlet if the foreperson does not turn famine and it is not a kind of a flatlet. sent4: if the osteostracan is not a pluperfect then the fact that the foreperson is unsupportive thing that is not a trap is false. sent5: if something is a lavatory it is both not lobular and not a Carew. sent6: the foreperson does adduct cake. sent7: the replica lambs collotype and is a farandole. sent8: if something is lobular it adducts cake and does not turn famine. sent9: the osteostracan is a kind of a flatlet if the foreperson turns famine. sent10: the aerosol is lobular and it is a Carew if the foreperson is not a lavatory. sent11: the foreperson is monomorphemic and a millenary. sent12: the foreperson is a flatlet and it does adduct cake. sent13: if the EU is a kind of a astatine that is not grammatical then the osteostracan is not a pluperfect. sent14: something is a kind of a flatlet if it does adduct cake and does not turn famine. sent15: something is not a lavatory if the fact that it is both not supportive and not a trap is incorrect. ; $proof$ = 
sent1 -> int1: the foreperson does turn famine.; sent9 & int1 -> hypothesis; __DISPROVED__