there exists something such that it is a workpiece.
sent1: there exists something such that the fact that it is a confessional is true. sent2: something is not a workpiece and hears if it is not a kind of a flophouse. sent3: the excavation is not a flophouse if it is a skyhook and it is onomastic. sent4: if the pikestaff is a confessional then the samba is a Iran. sent5: if something is a kind of a Iran then it narrates love. sent6: the fact that the fact that the samba is not a confessional and does not hear hold is not right if there is something such that it is not a Iran. sent7: there exists something such that it is unilateral. sent8: there is something such that it is not a Iran. sent9: the samba hears if the fact that the pikestaff is a confessional is not incorrect. sent10: the pikestaff is a workpiece if the fact that the samba is not a kind of a confessional and does not hear is false.
sent8 & sent6 -> int1: the fact that the samba is not a confessional and does not hear is not true.; sent10 & int1 -> int2: the fact that the pikestaff is a kind of a workpiece is not false.; int2 -> hypothesis;
there exists something such that it does narrate love.
sent5 -> int3: if the samba is a Iran it does narrate love.; sent2 -> int4: the excavation is not a kind of a workpiece and does hear if it is not a flophouse.;
$hypothesis$ = there exists something such that it is a workpiece. ; $context$ = sent1: there exists something such that the fact that it is a confessional is true. sent2: something is not a workpiece and hears if it is not a kind of a flophouse. sent3: the excavation is not a flophouse if it is a skyhook and it is onomastic. sent4: if the pikestaff is a confessional then the samba is a Iran. sent5: if something is a kind of a Iran then it narrates love. sent6: the fact that the fact that the samba is not a confessional and does not hear hold is not right if there is something such that it is not a Iran. sent7: there exists something such that it is unilateral. sent8: there is something such that it is not a Iran. sent9: the samba hears if the fact that the pikestaff is a confessional is not incorrect. sent10: the pikestaff is a workpiece if the fact that the samba is not a kind of a confessional and does not hear is false. ; $proof$ = 
sent8 & sent6 -> int1: the fact that the samba is not a confessional and does not hear is not true.; sent10 & int1 -> int2: the fact that the pikestaff is a kind of a workpiece is not false.; int2 -> hypothesis; __PROVED__