the fact that the pavilion is not an element and not dynamic is not right.
sent1: there exists something such that it is a colonizer and does not doodle. sent2: that something does not doodle but it deviates is wrong if that it is a kind of a colonizer is not false. sent3: the salesclerk is not a pogrom if it is a pardoner and is not mesic. sent4: the salesclerk is a sprechgesang. sent5: the fact that something is both not an element and not dynamic does not hold if it is a sprechgesang. sent6: the apparatus is a kind of a colonizer if something does not nestle. sent7: the pillbox does not nestle. sent8: the salesclerk is a spinster. sent9: the pavilion is not an element if something that is a colonizer does not doodle. sent10: if there exists something such that it is not a pogrom but a spinster the pavilion does not deviate. sent11: the salesclerk is not a kind of an element. sent12: if the pavilion does not deviate then it is not a dynamic. sent13: the salesclerk is a kind of a pardoner but it is not mesic if it is a sprechgesang. sent14: if the salesclerk is not a sprechgesang but it is a pogrom then the pavilion is a sprechgesang.
sent13 & sent4 -> int1: the salesclerk is a pardoner and not mesic.; int1 & sent3 -> int2: the fact that the salesclerk is not a pogrom hold.; int2 & sent8 -> int3: the salesclerk is not a pogrom but a spinster.; int3 -> int4: there exists something such that it is not a pogrom and is a kind of a spinster.; int4 & sent10 -> int5: the pavilion does not deviate.; int5 & sent12 -> int6: the pavilion is not a dynamic.; sent1 & sent9 -> int7: the pavilion is not a kind of an element.; int6 & int7 -> hypothesis;
the fact that the pavilion is not a kind of an element and it is not a kind of a dynamic is wrong.
sent5 -> int8: the fact that if the pavilion is the sprechgesang then the fact that the pavilion is not a kind of an element and it is not a dynamic is not true is true.; sent2 -> int9: if the apparatus is a colonizer then that it does not doodle and it deviates is incorrect.; sent7 -> int10: there is something such that it does not nestle.; int10 & sent6 -> int11: the apparatus is a colonizer.; int9 & int11 -> int12: the fact that the apparatus does not doodle but it does deviate is not correct.; int12 -> int13: there is something such that that it does not doodle and it deviates is wrong.;
$hypothesis$ = the fact that the pavilion is not an element and not dynamic is not right. ; $context$ = sent1: there exists something such that it is a colonizer and does not doodle. sent2: that something does not doodle but it deviates is wrong if that it is a kind of a colonizer is not false. sent3: the salesclerk is not a pogrom if it is a pardoner and is not mesic. sent4: the salesclerk is a sprechgesang. sent5: the fact that something is both not an element and not dynamic does not hold if it is a sprechgesang. sent6: the apparatus is a kind of a colonizer if something does not nestle. sent7: the pillbox does not nestle. sent8: the salesclerk is a spinster. sent9: the pavilion is not an element if something that is a colonizer does not doodle. sent10: if there exists something such that it is not a pogrom but a spinster the pavilion does not deviate. sent11: the salesclerk is not a kind of an element. sent12: if the pavilion does not deviate then it is not a dynamic. sent13: the salesclerk is a kind of a pardoner but it is not mesic if it is a sprechgesang. sent14: if the salesclerk is not a sprechgesang but it is a pogrom then the pavilion is a sprechgesang. ; $proof$ = 
sent13 & sent4 -> int1: the salesclerk is a pardoner and not mesic.; int1 & sent3 -> int2: the fact that the salesclerk is not a pogrom hold.; int2 & sent8 -> int3: the salesclerk is not a pogrom but a spinster.; int3 -> int4: there exists something such that it is not a pogrom and is a kind of a spinster.; int4 & sent10 -> int5: the pavilion does not deviate.; int5 & sent12 -> int6: the pavilion is not a dynamic.; sent1 & sent9 -> int7: the pavilion is not a kind of an element.; int6 & int7 -> hypothesis; __DISPROVED__