the stump does not claim.
sent1: the griffon does not coordinate pardon if the fact that the mackintosh coordinate pardon but it is not parietal does not hold. sent2: that the fact that something does coordinate pardon and is not parietal is right is wrong if it is archesporial. sent3: the fact that something is not buteonine and it does not coordinate pardon does not hold if it is not parietal. sent4: if the griffon does not coordinate pardon the stump is a kind of a claim that is not a buteonine. sent5: if the fact that that the mackintosh is not a kind of a buteonine and coordinates pardon is not true is correct the underpass is parietal. sent6: something is not exchangeable. sent7: the fact that the underpass does serenade hot-rod and does serenade Eptesicus is incorrect if the kite is not exchangeable. sent8: the kite does not serenade hot-rod if something is not exchangeable. sent9: something does not claim if the fact that it does consider homelessness and it is not a sackbut is not right. sent10: the fact that the aperture is a sombrero but it is not a kind of a mist is incorrect. sent11: that if the griffon is a buteonine the fact that the mackintosh is not buteonine but it does coordinate pardon is not true is not wrong. sent12: if that something is archesporial and it serenades Eptesicus is not true then it is not parietal. sent13: if the kite does not serenade hot-rod then the fact that the underpass is archesporial and it does serenade Eptesicus is wrong.
void -> assump1: Let's assume that the stump does consider homelessness but it is not a sackbut.; assump1 -> int1: there exists something such that it does consider homelessness and is not a sackbut.; sent12 -> int2: if that the underpass is archesporial and it does serenade Eptesicus is not true it is not parietal.; sent6 & sent8 -> int3: the kite does not serenade hot-rod.; sent13 & int3 -> int4: that the underpass is archesporial and it does serenade Eptesicus is incorrect.; int2 & int4 -> int5: the underpass is not parietal.; sent9 -> int6: if the fact that the stump considers homelessness and is not a sackbut does not hold it does not claim.;
that the stump is a claim is not false.
sent2 -> int7: if the mackintosh is archesporial then the fact that it coordinates pardon and it is not parietal is false.; sent10 -> int8: there is something such that that it is a sombrero and it is not a mist does not hold.;
$hypothesis$ = the stump does not claim. ; $context$ = sent1: the griffon does not coordinate pardon if the fact that the mackintosh coordinate pardon but it is not parietal does not hold. sent2: that the fact that something does coordinate pardon and is not parietal is right is wrong if it is archesporial. sent3: the fact that something is not buteonine and it does not coordinate pardon does not hold if it is not parietal. sent4: if the griffon does not coordinate pardon the stump is a kind of a claim that is not a buteonine. sent5: if the fact that that the mackintosh is not a kind of a buteonine and coordinates pardon is not true is correct the underpass is parietal. sent6: something is not exchangeable. sent7: the fact that the underpass does serenade hot-rod and does serenade Eptesicus is incorrect if the kite is not exchangeable. sent8: the kite does not serenade hot-rod if something is not exchangeable. sent9: something does not claim if the fact that it does consider homelessness and it is not a sackbut is not right. sent10: the fact that the aperture is a sombrero but it is not a kind of a mist is incorrect. sent11: that if the griffon is a buteonine the fact that the mackintosh is not buteonine but it does coordinate pardon is not true is not wrong. sent12: if that something is archesporial and it serenades Eptesicus is not true then it is not parietal. sent13: if the kite does not serenade hot-rod then the fact that the underpass is archesporial and it does serenade Eptesicus is wrong. ; $proof$ = 
void -> assump1: Let's assume that the stump does consider homelessness but it is not a sackbut.; assump1 -> int1: there exists something such that it does consider homelessness and is not a sackbut.; sent12 -> int2: if that the underpass is archesporial and it does serenade Eptesicus is not true it is not parietal.; sent6 & sent8 -> int3: the kite does not serenade hot-rod.; sent13 & int3 -> int4: that the underpass is archesporial and it does serenade Eptesicus is incorrect.; int2 & int4 -> int5: the underpass is not parietal.; sent9 -> int6: if the fact that the stump considers homelessness and is not a sackbut does not hold it does not claim.; __UNKNOWN__