the countinghouse does not wrap plunderer.
sent1: the countinghouse is a gauge and is chemoreceptive. sent2: something tapes if the fact that it does not construct BASIC and it does not feminize is wrong. sent3: something that is a tape does wrap plunderer. sent4: if the countinghouse does not construct BASIC and it does not feminize then it is not non-bulbaceous. sent5: something is not chemoreceptive if it is bulbaceous.
void -> assump1: Let's assume that the countinghouse does not construct BASIC and does not feminize.; sent4 & assump1 -> int1: the countinghouse is bulbaceous.; sent5 -> int2: if the fact that the countinghouse is bulbaceous hold it is not chemoreceptive.; int1 & int2 -> int3: the countinghouse is not chemoreceptive.; sent1 -> int4: the countinghouse is chemoreceptive.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the countinghouse does not construct BASIC and it does not feminize is false.; sent2 -> int7: the countinghouse tapes if that it does not construct BASIC and it does not feminize is false.; int6 & int7 -> int8: the countinghouse does tape.; sent3 -> int9: if the countinghouse tapes it does wrap plunderer.; int8 & int9 -> hypothesis;
$hypothesis$ = the countinghouse does not wrap plunderer. ; $context$ = sent1: the countinghouse is a gauge and is chemoreceptive. sent2: something tapes if the fact that it does not construct BASIC and it does not feminize is wrong. sent3: something that is a tape does wrap plunderer. sent4: if the countinghouse does not construct BASIC and it does not feminize then it is not non-bulbaceous. sent5: something is not chemoreceptive if it is bulbaceous. ; $proof$ = 
void -> assump1: Let's assume that the countinghouse does not construct BASIC and does not feminize.; sent4 & assump1 -> int1: the countinghouse is bulbaceous.; sent5 -> int2: if the fact that the countinghouse is bulbaceous hold it is not chemoreceptive.; int1 & int2 -> int3: the countinghouse is not chemoreceptive.; sent1 -> int4: the countinghouse is chemoreceptive.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the countinghouse does not construct BASIC and it does not feminize is false.; sent2 -> int7: the countinghouse tapes if that it does not construct BASIC and it does not feminize is false.; int6 & int7 -> int8: the countinghouse does tape.; sent3 -> int9: if the countinghouse tapes it does wrap plunderer.; int8 & int9 -> hypothesis; __DISPROVED__