the pack is non-African.
sent1: the fact that something is not a kind of a samarskite and does impart is false if it is not grassless. sent2: that the fact that the altoist is not impartial but it does disavow Torpedinidae is not wrong does not hold. sent3: the pack is not a African if something imparts. sent4: that the pack is not a kind of a African but it does impart is incorrect. sent5: the Shiite is grassless if that the altoist is a kind of prejudiced thing that does disavow Torpedinidae is incorrect. sent6: if something is grassless then it is African. sent7: the Shiite is grassless if the altoist does not disavow Torpedinidae. sent8: the fact that the Shiite imparts and is a ford is wrong. sent9: if there is something such that the fact that it does not impart and it is a kind of a ford is false then that the pack is a African is incorrect. sent10: the fact that the microwave is a kind of a limiting and is calcifugous is incorrect. sent11: there is something such that it does not impart and fords. sent12: if the anchorite is not unprintable then that either the altoist denationalizes doctor or it does not disavow Torpedinidae or both is incorrect. sent13: if that the Shiite is not a kind of a ford but it is a kind of a African does not hold the pack does disavow Torpedinidae. sent14: if the altoist is grassless then the pack is not grassless. sent15: if the Shiite is grassless that it imparts and fords is not correct. sent16: if something is grassless the fact that it does impart and it fords does not hold. sent17: if the altoist is grassless and it is a African then the pack is not grassless. sent18: there exists something such that the fact that it does impart and is a ford is false. sent19: that the Shiite does not impart but it does disavow Torpedinidae is not true. sent20: if the fact that something denationalizes doctor and/or does not disavow Torpedinidae is wrong it is impartial.
sent5 & sent2 -> int1: the Shiite is grassless.;
the pack is African.
sent6 -> int2: the pack is a kind of a African if it is grassless.; sent20 -> int3: if the fact that the altoist denationalizes doctor or does not disavow Torpedinidae or both is false it is impartial.; sent10 -> int4: there exists something such that the fact that it limits and it is calcifugous is incorrect.;
$hypothesis$ = the pack is non-African. ; $context$ = sent1: the fact that something is not a kind of a samarskite and does impart is false if it is not grassless. sent2: that the fact that the altoist is not impartial but it does disavow Torpedinidae is not wrong does not hold. sent3: the pack is not a African if something imparts. sent4: that the pack is not a kind of a African but it does impart is incorrect. sent5: the Shiite is grassless if that the altoist is a kind of prejudiced thing that does disavow Torpedinidae is incorrect. sent6: if something is grassless then it is African. sent7: the Shiite is grassless if the altoist does not disavow Torpedinidae. sent8: the fact that the Shiite imparts and is a ford is wrong. sent9: if there is something such that the fact that it does not impart and it is a kind of a ford is false then that the pack is a African is incorrect. sent10: the fact that the microwave is a kind of a limiting and is calcifugous is incorrect. sent11: there is something such that it does not impart and fords. sent12: if the anchorite is not unprintable then that either the altoist denationalizes doctor or it does not disavow Torpedinidae or both is incorrect. sent13: if that the Shiite is not a kind of a ford but it is a kind of a African does not hold the pack does disavow Torpedinidae. sent14: if the altoist is grassless then the pack is not grassless. sent15: if the Shiite is grassless that it imparts and fords is not correct. sent16: if something is grassless the fact that it does impart and it fords does not hold. sent17: if the altoist is grassless and it is a African then the pack is not grassless. sent18: there exists something such that the fact that it does impart and is a ford is false. sent19: that the Shiite does not impart but it does disavow Torpedinidae is not true. sent20: if the fact that something denationalizes doctor and/or does not disavow Torpedinidae is wrong it is impartial. ; $proof$ = 
sent5 & sent2 -> int1: the Shiite is grassless.; __UNKNOWN__