the foothold is a claustrophobe.
sent1: the fact that the fascicle does not interpose adenomegaly and does not arrive Stieglitz is not true. sent2: the fact that the foothold arrives deadlight is not wrong if the hangman is a AHPCRC. sent3: if there exists something such that that it is not a claustrophobe and not a icosahedron is incorrect then the blue is a mailboat. sent4: there is something such that that it is not a parking and does not arrive rowing is not right. sent5: that the blue is not a kind of a icosahedron but it is a mailboat is wrong. sent6: something is not a claustrophobe if the fact that it is a claustrophobe and it does arrive Cinclus is incorrect. sent7: if something is not a kind of a Sturnus the fact that it is a claustrophobe that arrives Cinclus is not correct. sent8: the fact that the blue is a mailboat but it does not copy does not hold. sent9: there exists something such that that it is not a icosahedron and is a mailboat is not true. sent10: either something jets or it is a AHPCRC or both if it is not dural. sent11: the foothold is a claustrophobe if there exists something such that that the fact that it is not a kind of a icosahedron and it is not a kind of a mailboat is correct does not hold. sent12: the fact that something does not arrive Cinclus but it is a Sturnus does not hold if it does arrive deadlight. sent13: the fact that the blue is not a kind of a icosahedron and is not a kind of a mailboat does not hold. sent14: the blue is a challis. sent15: the fact that the strawboard is not a mailboat and is not a kind of a vestiture is false.
sent13 -> int1: there exists something such that the fact that it is not a kind of a icosahedron and it is not a kind of a mailboat is false.; int1 & sent11 -> hypothesis;
the foothold is not a claustrophobe.
sent6 -> int2: if that the fact that the foothold is a claustrophobe and it arrives Cinclus hold is not correct then it is not a claustrophobe.; sent7 -> int3: that the foothold is a claustrophobe and arrives Cinclus is not right if it is not a kind of a Sturnus.;
$hypothesis$ = the foothold is a claustrophobe. ; $context$ = sent1: the fact that the fascicle does not interpose adenomegaly and does not arrive Stieglitz is not true. sent2: the fact that the foothold arrives deadlight is not wrong if the hangman is a AHPCRC. sent3: if there exists something such that that it is not a claustrophobe and not a icosahedron is incorrect then the blue is a mailboat. sent4: there is something such that that it is not a parking and does not arrive rowing is not right. sent5: that the blue is not a kind of a icosahedron but it is a mailboat is wrong. sent6: something is not a claustrophobe if the fact that it is a claustrophobe and it does arrive Cinclus is incorrect. sent7: if something is not a kind of a Sturnus the fact that it is a claustrophobe that arrives Cinclus is not correct. sent8: the fact that the blue is a mailboat but it does not copy does not hold. sent9: there exists something such that that it is not a icosahedron and is a mailboat is not true. sent10: either something jets or it is a AHPCRC or both if it is not dural. sent11: the foothold is a claustrophobe if there exists something such that that the fact that it is not a kind of a icosahedron and it is not a kind of a mailboat is correct does not hold. sent12: the fact that something does not arrive Cinclus but it is a Sturnus does not hold if it does arrive deadlight. sent13: the fact that the blue is not a kind of a icosahedron and is not a kind of a mailboat does not hold. sent14: the blue is a challis. sent15: the fact that the strawboard is not a mailboat and is not a kind of a vestiture is false. ; $proof$ = 
sent13 -> int1: there exists something such that the fact that it is not a kind of a icosahedron and it is not a kind of a mailboat is false.; int1 & sent11 -> hypothesis; __PROVED__