the morosoph is an opening.
sent1: if something does not mold craftiness that it is intensive and is a spastic is false. sent2: the butcher is a visit and is not a sunrise if the gigot is a kind of a Aramean. sent3: if the gigot is not a spastic that the morosoph is sartorial or it is a Aramean or both is false. sent4: the gigot clambers but it is not a kind of a set. sent5: if something does mold craftiness then the fact that it is a kind of a spastic and it is not intensive is not right. sent6: the butcher is not a sunrise if the gigot is Aramean. sent7: something is not sartorial if it does visit and is a sunrise. sent8: everything is an estrus that shillyshallies Khartoum. sent9: if the butcher is a visit and a sunrise then it is not sartorial. sent10: the morosoph is not a kind of a Aramean if that there exists something such that the fact that it is intensive and a spastic is wrong is not wrong. sent11: if a visit is not a sunrise it is not sartorial. sent12: if the fact that something is sartorial and/or it is a Aramean is not right then it is not a kind of an opening. sent13: if something shillyshallies Khartoum then the gigot does not mold craftiness and is an estrus. sent14: the gigot is a Aramean. sent15: the morosoph does open if the butcher is not sartorial. sent16: the butcher is not a kind of a sunrise. sent17: if the morosoph is not a kind of a Aramean then the walkie-talkie opens and is sartorial. sent18: the oligodendrocyte does mold craftiness if the fact that the caster is an estrus hold. sent19: if the morosoph is a visit then the butcher is not opening. sent20: the oligodendrocyte does shillyshally Khartoum and it does devoice Dix.
sent11 -> int1: the butcher is not sartorial if it does visit and it is not a kind of a sunrise.; sent2 & sent14 -> int2: the butcher is a visit but it is not a kind of a sunrise.; int1 & int2 -> int3: the butcher is not sartorial.; int3 & sent15 -> hypothesis;
the walkie-talkie does open.
sent1 -> int4: that that the gigot is a kind of intensive thing that is a kind of a spastic does not hold hold if it does not mold craftiness.; sent20 -> int5: the oligodendrocyte does shillyshally Khartoum.; int5 -> int6: there is something such that it shillyshallies Khartoum.; int6 & sent13 -> int7: the gigot does not mold craftiness and is an estrus.; int7 -> int8: the gigot does not mold craftiness.; int4 & int8 -> int9: that that the gigot is intensive and it is a kind of a spastic hold is false.; int9 -> int10: there exists something such that the fact that it is intensive and it is a spastic does not hold.; int10 & sent10 -> int11: the morosoph is not a kind of a Aramean.; sent17 & int11 -> int12: the walkie-talkie is both not non-opening and not non-sartorial.; int12 -> hypothesis;
$hypothesis$ = the morosoph is an opening. ; $context$ = sent1: if something does not mold craftiness that it is intensive and is a spastic is false. sent2: the butcher is a visit and is not a sunrise if the gigot is a kind of a Aramean. sent3: if the gigot is not a spastic that the morosoph is sartorial or it is a Aramean or both is false. sent4: the gigot clambers but it is not a kind of a set. sent5: if something does mold craftiness then the fact that it is a kind of a spastic and it is not intensive is not right. sent6: the butcher is not a sunrise if the gigot is Aramean. sent7: something is not sartorial if it does visit and is a sunrise. sent8: everything is an estrus that shillyshallies Khartoum. sent9: if the butcher is a visit and a sunrise then it is not sartorial. sent10: the morosoph is not a kind of a Aramean if that there exists something such that the fact that it is intensive and a spastic is wrong is not wrong. sent11: if a visit is not a sunrise it is not sartorial. sent12: if the fact that something is sartorial and/or it is a Aramean is not right then it is not a kind of an opening. sent13: if something shillyshallies Khartoum then the gigot does not mold craftiness and is an estrus. sent14: the gigot is a Aramean. sent15: the morosoph does open if the butcher is not sartorial. sent16: the butcher is not a kind of a sunrise. sent17: if the morosoph is not a kind of a Aramean then the walkie-talkie opens and is sartorial. sent18: the oligodendrocyte does mold craftiness if the fact that the caster is an estrus hold. sent19: if the morosoph is a visit then the butcher is not opening. sent20: the oligodendrocyte does shillyshally Khartoum and it does devoice Dix. ; $proof$ = 
sent11 -> int1: the butcher is not sartorial if it does visit and it is not a kind of a sunrise.; sent2 & sent14 -> int2: the butcher is a visit but it is not a kind of a sunrise.; int1 & int2 -> int3: the butcher is not sartorial.; int3 & sent15 -> hypothesis; __PROVED__