the fact that the fact that the comet is a kind of a fanaticism and/or is not a drawer is not correct if that the cubitiere is not actinomycotic is correct is false.
sent1: if the poplar does resent microscopy the cubitiere is actinomycotic. sent2: if the poplar does not resent microscopy the fact that the comet is a fanaticism and/or it is not a drawer is not true.
void -> assump2: Let's assume that the poplar does resent microscopy.; sent1 & assump2 -> int1: the cubitiere is actinomycotic.; void -> assump1: Let's assume that the cubitiere is not actinomycotic.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the poplar does not resent microscopy.; sent2 & int3 -> int4: the fact that the comet is a fanaticism and/or not a drawer does not hold.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that the fact that the comet is a kind of a fanaticism and/or is not a drawer is not correct if that the cubitiere is not actinomycotic is correct is false. ; $context$ = sent1: if the poplar does resent microscopy the cubitiere is actinomycotic. sent2: if the poplar does not resent microscopy the fact that the comet is a fanaticism and/or it is not a drawer is not true. ; $proof$ = 
void -> assump2: Let's assume that the poplar does resent microscopy.; sent1 & assump2 -> int1: the cubitiere is actinomycotic.; void -> assump1: Let's assume that the cubitiere is not actinomycotic.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the poplar does not resent microscopy.; sent2 & int3 -> int4: the fact that the comet is a fanaticism and/or not a drawer does not hold.; [assump1] & int4 -> hypothesis; __DISPROVED__