この幽霊達は梱包するということはない
fact1: もしも「この特異性は梱包するがしかしパートさんだということはない」ということは偽ならこの幽霊達は梱包しない fact2: なにがしかのものは疾しかあるいはそれは滅び去るか両方だ fact3: もしこの特異性は疾しないとすれば「この幽霊達は室内灯でないかまたは滅び去るかもしくは両方ともだ」ということは間違いだ fact4: 「梱包する」物があるならこの幽霊達は疾しない fact5: もし「なんらかのものは室内灯でないか滅び去るか両方である」ということは誤っているならそれは梱包する fact6: もしも何かはだふ屋であるかパートさんであるかまたはどちらもなら「この特異性は疾しということはない」ということは真実だ fact7: 「起こし難いかもしくは返納であるか両方である」物はある fact8: とあるものはだふ屋であるかあるいはパートさんであるかまたは両方ともだ fact9: もし仮に「この幽霊達は疾しかあるいは滅び去るか両方ともだ」ということは偽ならそれは室内灯だ fact10: もし仮に「滅び去る」ものがあるとするとこの幽霊達は疾しない
fact8 & fact6 -> int1: この特異性は疾しない; int1 & fact3 -> int2: 「「この幽霊達は室内灯でないかまたは滅び去るかまたは両方ともだ」ということは誤りである」ということは真実だ; fact5 -> int3: 仮に「この幽霊達は室内灯でないかまたはそれは滅び去る」ということは嘘だとしたら「梱包する」ということは真実だ; int2 & int3 -> hypothesis;
この幽霊達は梱包しない
$facts$ = fact1: もしも「この特異性は梱包するがしかしパートさんだということはない」ということは偽ならこの幽霊達は梱包しない fact2: なにがしかのものは疾しかあるいはそれは滅び去るか両方だ fact3: もしこの特異性は疾しないとすれば「この幽霊達は室内灯でないかまたは滅び去るかもしくは両方ともだ」ということは間違いだ fact4: 「梱包する」物があるならこの幽霊達は疾しない fact5: もし「なんらかのものは室内灯でないか滅び去るか両方である」ということは誤っているならそれは梱包する fact6: もしも何かはだふ屋であるかパートさんであるかまたはどちらもなら「この特異性は疾しということはない」ということは真実だ fact7: 「起こし難いかもしくは返納であるか両方である」物はある fact8: とあるものはだふ屋であるかあるいはパートさんであるかまたは両方ともだ fact9: もし仮に「この幽霊達は疾しかあるいは滅び去るか両方ともだ」ということは偽ならそれは室内灯だ fact10: もし仮に「滅び去る」ものがあるとするとこの幽霊達は疾しない ; $hypothesis$ = この幽霊達は梱包するということはない ; $proof$ = 
fact8 & fact6 -> int1: この特異性は疾しない; int1 & fact3 -> int2: 「「この幽霊達は室内灯でないかまたは滅び去るかまたは両方ともだ」ということは誤りである」ということは真実だ; fact5 -> int3: 仮に「この幽霊達は室内灯でないかまたはそれは滅び去る」ということは嘘だとしたら「梱包する」ということは真実だ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしも「この特異性は梱包するがしかしパートさんだということはない」ということは偽ならこの幽霊達は梱包しない
事実2: なにがしかのものは疾しかあるいはそれは滅び去るか両方だ
事実3: もしこの特異性は疾しないとすれば「この幽霊達は室内灯でないかまたは滅び去るかもしくは両方ともだ」ということは間違いだ
事実4: 「梱包する」物があるならこの幽霊達は疾しない
事実5: もし「なんらかのものは室内灯でないか滅び去るか両方である」ということは誤っているならそれは梱包する
事実6: もしも何かはだふ屋であるかパートさんであるかまたはどちらもなら「この特異性は疾しということはない」ということは真実だ
事実7: 「起こし難いかもしくは返納であるか両方である」物はある
事実8: とあるものはだふ屋であるかあるいはパートさんであるかまたは両方ともだ
事実9: もし仮に「この幽霊達は疾しかあるいは滅び去るか両方ともだ」ということは偽ならそれは室内灯だ
事実10: もし仮に「滅び去る」ものがあるとするとこの幽霊達は疾しない

仮説: この幽霊達は梱包するということはない
1. 事実8と事実6から、推論1: "この特異性は疾しない"が導かれる
2. 推論1と事実3から、推論2: "「「この幽霊達は室内灯でないかまたは滅び去るかまたは両方ともだ」ということは誤りである」ということは真実だ"が導かれる
3. 事実5から、推論3: "仮に「この幽霊達は室内灯でないかまたはそれは滅び去る」ということは嘘だとしたら「梱包する」ということは真実だ"が導かれる
4. 推論2と推論3から、仮説が否定される

よって、仮説が否定されました。