the woodworm does not rubify.
sent1: the methaqualone is not an absurd or it does not swerve or both. sent2: if the fact that the methaqualone is not a kind of a swerve is true the woodworm is not a walkabout. sent3: if the fact that something reigns dada and it is lethargic does not hold then it does not rubify. sent4: if the methaqualone is not a kind of an absurd the woodworm is not a kind of a walkabout. sent5: if something is not a walkabout then the fact that it reigns dada and it is lethargic is not right.
sent5 -> int1: if the woodworm is not a walkabout then that it reigns dada and it is lethargic is wrong.; sent1 & sent4 & sent2 -> int2: the woodworm is not a walkabout.; int1 & int2 -> int3: that the woodworm reigns dada and it is lethargic is false.; sent3 -> int4: if that that the woodworm reigns dada and it is lethargic is wrong is right then it does not rubify.; int3 & int4 -> hypothesis;
$hypothesis$ = the woodworm does not rubify. ; $context$ = sent1: the methaqualone is not an absurd or it does not swerve or both. sent2: if the fact that the methaqualone is not a kind of a swerve is true the woodworm is not a walkabout. sent3: if the fact that something reigns dada and it is lethargic does not hold then it does not rubify. sent4: if the methaqualone is not a kind of an absurd the woodworm is not a kind of a walkabout. sent5: if something is not a walkabout then the fact that it reigns dada and it is lethargic is not right. ; $proof$ = 
sent5 -> int1: if the woodworm is not a walkabout then that it reigns dada and it is lethargic is wrong.; sent1 & sent4 & sent2 -> int2: the woodworm is not a walkabout.; int1 & int2 -> int3: that the woodworm reigns dada and it is lethargic is false.; sent3 -> int4: if that that the woodworm reigns dada and it is lethargic is wrong is right then it does not rubify.; int3 & int4 -> hypothesis; __PROVED__