that that either the protection anglicises orchiopexy or it does not frisk exteroception or both hold does not hold.
sent1: that something does not pique Physeter and/or it binds Rachycentridae is not right if it is a rat. sent2: the crosse is a Beguine. sent3: everything is a cooperative and it is a Lablab. sent4: that something either does anglicise orchiopexy or does not frisk exteroception or both is not correct if it binds Rachycentridae. sent5: something binds Rachycentridae if it does not rat and it piques Physeter. sent6: something does not bind Rachycentridae if it is a kind of a rat. sent7: either the makomako piques swish or it does bind enterostomy or both. sent8: the easter does not pique Physeter if that it is an era is true. sent9: the protection is not a regular. sent10: if the makomako piques swish it is unintrusive. sent11: if that something anglicises orchiopexy and/or does not frisk exteroception is not true then it does not pique Physeter. sent12: either the protection is not a Neolentinus or it is closed-circuit or both. sent13: the taxonomist does not bind Rachycentridae. sent14: everything is a Mendel and is a nibble. sent15: everything is a rat that is unintrusive. sent16: something does not pique coronet if it is a kind of a studentship. sent17: everything is unintrusive. sent18: the perfumery is a kind of a first.
sent11 -> int1: the fact that the protection does not pique Physeter is true if that it either does anglicise orchiopexy or does not frisk exteroception or both is not true.; void -> assump1: Let's assume that that either the protection anglicises orchiopexy or it does not frisk exteroception or both does not hold.; int1 & assump1 -> int2: the protection does not pique Physeter.; int2 -> int3: either the protection does not pique Physeter or it binds Rachycentridae or both.; sent1 -> int4: the fact that the protection does not pique Physeter or it does bind Rachycentridae or both does not hold if that it is a rat hold.; sent15 -> int5: the fact that the protection is a rat and it is unintrusive is right.; int5 -> int6: the fact that the protection is a rat is not wrong.; int4 & int6 -> int7: that that the protection either does not pique Physeter or does bind Rachycentridae or both is false is right.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the fact that the protection does anglicise orchiopexy or it does not frisk exteroception or both does not hold.
sent4 -> int9: if the protection does bind Rachycentridae then that it anglicises orchiopexy and/or it does not frisk exteroception is false.; sent5 -> int10: the protection binds Rachycentridae if it is not a rat and it does pique Physeter.;
$hypothesis$ = that that either the protection anglicises orchiopexy or it does not frisk exteroception or both hold does not hold. ; $context$ = sent1: that something does not pique Physeter and/or it binds Rachycentridae is not right if it is a rat. sent2: the crosse is a Beguine. sent3: everything is a cooperative and it is a Lablab. sent4: that something either does anglicise orchiopexy or does not frisk exteroception or both is not correct if it binds Rachycentridae. sent5: something binds Rachycentridae if it does not rat and it piques Physeter. sent6: something does not bind Rachycentridae if it is a kind of a rat. sent7: either the makomako piques swish or it does bind enterostomy or both. sent8: the easter does not pique Physeter if that it is an era is true. sent9: the protection is not a regular. sent10: if the makomako piques swish it is unintrusive. sent11: if that something anglicises orchiopexy and/or does not frisk exteroception is not true then it does not pique Physeter. sent12: either the protection is not a Neolentinus or it is closed-circuit or both. sent13: the taxonomist does not bind Rachycentridae. sent14: everything is a Mendel and is a nibble. sent15: everything is a rat that is unintrusive. sent16: something does not pique coronet if it is a kind of a studentship. sent17: everything is unintrusive. sent18: the perfumery is a kind of a first. ; $proof$ = 
sent11 -> int1: the fact that the protection does not pique Physeter is true if that it either does anglicise orchiopexy or does not frisk exteroception or both is not true.; void -> assump1: Let's assume that that either the protection anglicises orchiopexy or it does not frisk exteroception or both does not hold.; int1 & assump1 -> int2: the protection does not pique Physeter.; int2 -> int3: either the protection does not pique Physeter or it binds Rachycentridae or both.; sent1 -> int4: the fact that the protection does not pique Physeter or it does bind Rachycentridae or both does not hold if that it is a rat hold.; sent15 -> int5: the fact that the protection is a rat and it is unintrusive is right.; int5 -> int6: the fact that the protection is a rat is not wrong.; int4 & int6 -> int7: that that the protection either does not pique Physeter or does bind Rachycentridae or both is false is right.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __DISPROVED__