the committeewoman is not a gateau.
sent1: the casque is not a sub-interval. sent2: there is something such that that it is inoffensive and it does block dint is incorrect. sent3: if the oarswoman is a kind of a ecotourism the pantry does begin noon. sent4: if the oarswoman is not an oryx that either it is not inoffensive or it does not block dint or both is not right. sent5: that the brimstone is a kind of inoffensive thing that does block dint is not true. sent6: if the fact that something is not inoffensive and/or it does not block dint is not right it is not a ecotourism. sent7: if the fact that something is a bunchgrass that does begin noon does not hold it is not a bunchgrass. sent8: the oarswoman is not an oryx if the casque does join. sent9: if there is something such that it does block dint the casque does begin noon. sent10: the fact that the mathematician is not a kind of a bunchgrass hold. sent11: the casque does begin noon if that there is something such that that it is inoffensive and does not block dint does not hold hold. sent12: if the oarswoman is a kind of a bunchgrass but it is not a gateau then the committeewoman is a gateau. sent13: the casque joins and/or is an oryx. sent14: something is a bunchgrass if it is a Ankara. sent15: the oarswoman is not a kind of a Ankara if there is something such that it is not a Ankara and/or is a kind of a ecotourism. sent16: that something does not begin noon but it is inoffensive is not false if it blocks dint. sent17: if there exists something such that that it does not begin noon is correct then the pantry is not a Ankara or is a ecotourism or both. sent18: the committeewoman is a gateau and/or it is a Ankara if the oarswoman is not a bunchgrass. sent19: the committeewoman is a Ankara if it is a kind of a gateau. sent20: if the committeewoman is a kind of a bunchgrass then the oarswoman is a ecotourism. sent21: the fact that the brimstone is inoffensive but it does not block dint is wrong. sent22: if something does block dint it begins noon.
void -> assump1: Let's assume that the committeewoman is a gateau.; sent19 & assump1 -> int1: the committeewoman is a kind of a Ankara.; sent14 -> int2: if the committeewoman is a kind of a Ankara it is a bunchgrass.; int1 & int2 -> int3: the committeewoman is a kind of a bunchgrass.; int3 & sent20 -> int4: the oarswoman is a ecotourism.; int4 & sent3 -> int5: the pantry does begin noon.; sent21 -> int6: there exists something such that the fact that it is inoffensive and it does not block dint is incorrect.; int6 & sent11 -> int7: the fact that the casque does begin noon is not wrong.;
the committeewoman is a kind of a gateau.
sent16 -> int8: the brimstone does not begin noon and is inoffensive if it blocks dint.;
$hypothesis$ = the committeewoman is not a gateau. ; $context$ = sent1: the casque is not a sub-interval. sent2: there is something such that that it is inoffensive and it does block dint is incorrect. sent3: if the oarswoman is a kind of a ecotourism the pantry does begin noon. sent4: if the oarswoman is not an oryx that either it is not inoffensive or it does not block dint or both is not right. sent5: that the brimstone is a kind of inoffensive thing that does block dint is not true. sent6: if the fact that something is not inoffensive and/or it does not block dint is not right it is not a ecotourism. sent7: if the fact that something is a bunchgrass that does begin noon does not hold it is not a bunchgrass. sent8: the oarswoman is not an oryx if the casque does join. sent9: if there is something such that it does block dint the casque does begin noon. sent10: the fact that the mathematician is not a kind of a bunchgrass hold. sent11: the casque does begin noon if that there is something such that that it is inoffensive and does not block dint does not hold hold. sent12: if the oarswoman is a kind of a bunchgrass but it is not a gateau then the committeewoman is a gateau. sent13: the casque joins and/or is an oryx. sent14: something is a bunchgrass if it is a Ankara. sent15: the oarswoman is not a kind of a Ankara if there is something such that it is not a Ankara and/or is a kind of a ecotourism. sent16: that something does not begin noon but it is inoffensive is not false if it blocks dint. sent17: if there exists something such that that it does not begin noon is correct then the pantry is not a Ankara or is a ecotourism or both. sent18: the committeewoman is a gateau and/or it is a Ankara if the oarswoman is not a bunchgrass. sent19: the committeewoman is a Ankara if it is a kind of a gateau. sent20: if the committeewoman is a kind of a bunchgrass then the oarswoman is a ecotourism. sent21: the fact that the brimstone is inoffensive but it does not block dint is wrong. sent22: if something does block dint it begins noon. ; $proof$ = 
void -> assump1: Let's assume that the committeewoman is a gateau.; sent19 & assump1 -> int1: the committeewoman is a kind of a Ankara.; sent14 -> int2: if the committeewoman is a kind of a Ankara it is a bunchgrass.; int1 & int2 -> int3: the committeewoman is a kind of a bunchgrass.; int3 & sent20 -> int4: the oarswoman is a ecotourism.; int4 & sent3 -> int5: the pantry does begin noon.; sent21 -> int6: there exists something such that the fact that it is inoffensive and it does not block dint is incorrect.; int6 & sent11 -> int7: the fact that the casque does begin noon is not wrong.; __UNKNOWN__