if the bassine commentates the rhinovirus is a kind of a Kotex.
sent1: something housekeeps. sent2: if there is something such that that it is a simperer and/or it does not housekeep does not hold the fact that the bassine does not commentate is true. sent3: there is something such that the fact that it is a kind of a simperer or it does housekeep or both is false. sent4: if something is a simperer and/or it does not housekeep it is a Kotex. sent5: there is something such that it tapes.
void -> assump2: Let's assume that that the rhinovirus either is a kind of a simperer or does not housekeep or both is not right.; assump2 -> int1: there is something such that the fact that it is a kind of a simperer and/or does not housekeep is incorrect.; int1 & sent2 -> int2: the bassine does not commentate.; void -> assump1: Let's assume that the bassine does commentate.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the rhinovirus is a kind of a simperer and/or does not housekeep.; sent4 -> int5: if the rhinovirus is a simperer or it does not housekeep or both then the fact that it is a kind of a Kotex hold.; int4 & int5 -> int6: the rhinovirus is a Kotex.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the bassine commentates the rhinovirus is a kind of a Kotex. ; $context$ = sent1: something housekeeps. sent2: if there is something such that that it is a simperer and/or it does not housekeep does not hold the fact that the bassine does not commentate is true. sent3: there is something such that the fact that it is a kind of a simperer or it does housekeep or both is false. sent4: if something is a simperer and/or it does not housekeep it is a Kotex. sent5: there is something such that it tapes. ; $proof$ = 
void -> assump2: Let's assume that that the rhinovirus either is a kind of a simperer or does not housekeep or both is not right.; assump2 -> int1: there is something such that the fact that it is a kind of a simperer and/or does not housekeep is incorrect.; int1 & sent2 -> int2: the bassine does not commentate.; void -> assump1: Let's assume that the bassine does commentate.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the rhinovirus is a kind of a simperer and/or does not housekeep.; sent4 -> int5: if the rhinovirus is a simperer or it does not housekeep or both then the fact that it is a kind of a Kotex hold.; int4 & int5 -> int6: the rhinovirus is a Kotex.; [assump1] & int6 -> hypothesis; __PROVED__