the drainplug is not a Xanthium or is a spoonerism or both.
sent1: the drainplug is a changelessness. sent2: if either something is not a changelessness or it does rope ortygan or both then it is not a spoonerism. sent3: the drainplug is not a kind of a spoonerism. sent4: The ortygan does not rope drainplug. sent5: something does not glare oscillator if it is either not a Xanthium or a spoonerism or both. sent6: the drainplug does not rope ortygan. sent7: the drainplug glares oscillator and it is a changelessness if it does not rope ortygan. sent8: the pegmatite is a changelessness.
sent5 -> int1: if the drainplug is not a kind of a Xanthium and/or is a spoonerism it does not glare oscillator.; void -> assump1: Let's assume that either the drainplug is not a Xanthium or it is a spoonerism or both.; int1 & assump1 -> int2: the drainplug does not glare oscillator.; sent7 & sent6 -> int3: the drainplug does glare oscillator and it is a changelessness.; int3 -> int4: that the drainplug does glare oscillator is right.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the drainplug is not a kind of a Xanthium and/or it is a spoonerism.
$hypothesis$ = the drainplug is not a Xanthium or is a spoonerism or both. ; $context$ = sent1: the drainplug is a changelessness. sent2: if either something is not a changelessness or it does rope ortygan or both then it is not a spoonerism. sent3: the drainplug is not a kind of a spoonerism. sent4: The ortygan does not rope drainplug. sent5: something does not glare oscillator if it is either not a Xanthium or a spoonerism or both. sent6: the drainplug does not rope ortygan. sent7: the drainplug glares oscillator and it is a changelessness if it does not rope ortygan. sent8: the pegmatite is a changelessness. ; $proof$ = 
sent5 -> int1: if the drainplug is not a kind of a Xanthium and/or is a spoonerism it does not glare oscillator.; void -> assump1: Let's assume that either the drainplug is not a Xanthium or it is a spoonerism or both.; int1 & assump1 -> int2: the drainplug does not glare oscillator.; sent7 & sent6 -> int3: the drainplug does glare oscillator and it is a changelessness.; int3 -> int4: that the drainplug does glare oscillator is right.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__