the shale is both not a hippopotamus and unlike.
sent1: there exists something such that it is a Nanak. sent2: if the Franciscan is not conjunctive then that the jungle is not a favored or it is conjunctive or both is not wrong. sent3: if there is something such that it riddles Pan that the Franciscan does riddles Pan and is not ovular is wrong. sent4: the jungle is a kind of a sporting if the fact that it is not conjunctive is correct. sent5: something is a perinatologist. sent6: the jungle is not conjunctive or it is not a hippopotamus or both if the shale is not a kind of a hippopotamus. sent7: if there exists something such that it does riddle Pan then that the Franciscan does not riddle Pan and it is not ovular is false. sent8: that that the jungle is not a favored and/or it is not conjunctive hold if the Franciscan is not conjunctive is not false. sent9: if the fact that something does not riddle Pan and is not ovular is wrong it is not conjunctive. sent10: there is something such that it does riddle Pan. sent11: that the shale does riddle Pan but it is not unlike is wrong. sent12: if the jungle is not a favored and/or it is not conjunctive it is a sporting. sent13: if there exists something such that it is not a Nanak then that the shale is not a hippopotamus but it is unlike is not true. sent14: something is not a hippopotamus and is unlike if it does favor. sent15: something is not a kind of a Nanak if it does sport. sent16: that the prosthetist riddles Pan and it does dissimulate is incorrect. sent17: if the jungle does not favor either the shale is not a hippopotamus or it is not a favor or both. sent18: the shale either is a binnacle or is not convenient or both. sent19: that the Franciscan does not riddle Pan and is ovular is wrong. sent20: if the graviton is not a pome and not a Mancunian it is a kind of a Nanak. sent21: the shale favors if the jungle is conjunctive.
sent9 -> int1: the Franciscan is not conjunctive if that it does not riddle Pan and it is not ovular is false.; sent10 & sent7 -> int2: that the Franciscan does not riddle Pan and it is not ovular is wrong.; int1 & int2 -> int3: the Franciscan is not conjunctive.; int3 & sent8 -> int4: the fact that the jungle either does not favor or is not conjunctive or both is right.; int4 & sent12 -> int5: the fact that the jungle is a sporting is not false.; sent15 -> int6: if the jungle is a sporting then it is not a Nanak.; int5 & int6 -> int7: the jungle is not a Nanak.; int7 -> int8: there exists something such that it is not a Nanak.; int8 & sent13 -> hypothesis;
the shale is not a kind of a hippopotamus but it is unlike.
sent14 -> int9: if the shale is a kind of a favored it is not a hippopotamus and is unlike.;
$hypothesis$ = the shale is both not a hippopotamus and unlike. ; $context$ = sent1: there exists something such that it is a Nanak. sent2: if the Franciscan is not conjunctive then that the jungle is not a favored or it is conjunctive or both is not wrong. sent3: if there is something such that it riddles Pan that the Franciscan does riddles Pan and is not ovular is wrong. sent4: the jungle is a kind of a sporting if the fact that it is not conjunctive is correct. sent5: something is a perinatologist. sent6: the jungle is not conjunctive or it is not a hippopotamus or both if the shale is not a kind of a hippopotamus. sent7: if there exists something such that it does riddle Pan then that the Franciscan does not riddle Pan and it is not ovular is false. sent8: that that the jungle is not a favored and/or it is not conjunctive hold if the Franciscan is not conjunctive is not false. sent9: if the fact that something does not riddle Pan and is not ovular is wrong it is not conjunctive. sent10: there is something such that it does riddle Pan. sent11: that the shale does riddle Pan but it is not unlike is wrong. sent12: if the jungle is not a favored and/or it is not conjunctive it is a sporting. sent13: if there exists something such that it is not a Nanak then that the shale is not a hippopotamus but it is unlike is not true. sent14: something is not a hippopotamus and is unlike if it does favor. sent15: something is not a kind of a Nanak if it does sport. sent16: that the prosthetist riddles Pan and it does dissimulate is incorrect. sent17: if the jungle does not favor either the shale is not a hippopotamus or it is not a favor or both. sent18: the shale either is a binnacle or is not convenient or both. sent19: that the Franciscan does not riddle Pan and is ovular is wrong. sent20: if the graviton is not a pome and not a Mancunian it is a kind of a Nanak. sent21: the shale favors if the jungle is conjunctive. ; $proof$ = 
sent9 -> int1: the Franciscan is not conjunctive if that it does not riddle Pan and it is not ovular is false.; sent10 & sent7 -> int2: that the Franciscan does not riddle Pan and it is not ovular is wrong.; int1 & int2 -> int3: the Franciscan is not conjunctive.; int3 & sent8 -> int4: the fact that the jungle either does not favor or is not conjunctive or both is right.; int4 & sent12 -> int5: the fact that the jungle is a sporting is not false.; sent15 -> int6: if the jungle is a sporting then it is not a Nanak.; int5 & int6 -> int7: the jungle is not a Nanak.; int7 -> int8: there exists something such that it is not a Nanak.; int8 & sent13 -> hypothesis; __DISPROVED__