the peahen confines swivel.
sent1: there is something such that that it confines siamang and is a kind of a Ephesian is not true. sent2: the fact that the feverfew does confine siamang and it is a Ephesian does not hold. sent3: the sandwichman is a Ephesian if the fact that the feverfew winters is true. sent4: the peahen does not confine swivel if there exists something such that it confines siamang. sent5: if there is something such that it does confine swivel the feverfew is a winter. sent6: the peahen confines swivel if the crawlspace does not ridicule Antilope and is trustworthy. sent7: the peahen does not confine swivel if there exists something such that the fact that it does not confine siamang and it is a Ephesian is incorrect. sent8: if something is a nimblewill then the fact that it is a Corinthian is not wrong. sent9: if the sandwichman does not winter that the feverfew does not confine siamang and is a Ephesian is wrong. sent10: the sandwichman does not winter if it is not a Geb. sent11: the sandwichman is not a kind of a winter if that it is a kind of a Geb that is even is not true. sent12: if the crawlspace is a kind of a Corinthian it does not ridicule Antilope and is trustworthy. sent13: if the sandwichman is not a winter then that the feverfew does confine siamang and it is a Ephesian is not correct. sent14: the fact that the sandwichman is a Geb but it is not uneven is not right. sent15: something does not confine siamang but it is Ephesian.
sent11 & sent14 -> int1: the fact that the sandwichman is not a kind of a winter is right.; sent9 & int1 -> int2: the fact that the feverfew does not confine siamang and is a Ephesian is not correct.; int2 -> int3: there is something such that that it does not confine siamang and it is a Ephesian does not hold.; int3 & sent7 -> hypothesis;
the fact that the three is not a quartan and does confine siamang is false.
sent8 -> int4: if the crawlspace is a nimblewill then it is a Corinthian.;
$hypothesis$ = the peahen confines swivel. ; $context$ = sent1: there is something such that that it confines siamang and is a kind of a Ephesian is not true. sent2: the fact that the feverfew does confine siamang and it is a Ephesian does not hold. sent3: the sandwichman is a Ephesian if the fact that the feverfew winters is true. sent4: the peahen does not confine swivel if there exists something such that it confines siamang. sent5: if there is something such that it does confine swivel the feverfew is a winter. sent6: the peahen confines swivel if the crawlspace does not ridicule Antilope and is trustworthy. sent7: the peahen does not confine swivel if there exists something such that the fact that it does not confine siamang and it is a Ephesian is incorrect. sent8: if something is a nimblewill then the fact that it is a Corinthian is not wrong. sent9: if the sandwichman does not winter that the feverfew does not confine siamang and is a Ephesian is wrong. sent10: the sandwichman does not winter if it is not a Geb. sent11: the sandwichman is not a kind of a winter if that it is a kind of a Geb that is even is not true. sent12: if the crawlspace is a kind of a Corinthian it does not ridicule Antilope and is trustworthy. sent13: if the sandwichman is not a winter then that the feverfew does confine siamang and it is a Ephesian is not correct. sent14: the fact that the sandwichman is a Geb but it is not uneven is not right. sent15: something does not confine siamang but it is Ephesian. ; $proof$ = 
sent11 & sent14 -> int1: the fact that the sandwichman is not a kind of a winter is right.; sent9 & int1 -> int2: the fact that the feverfew does not confine siamang and is a Ephesian is not correct.; int2 -> int3: there is something such that that it does not confine siamang and it is a Ephesian does not hold.; int3 & sent7 -> hypothesis; __DISPROVED__