あのマイナスイオンは御見舞いしないかもしくは御存じ無いかまたは両方である
fact1: もし「なんらかの物は長しないかあるいは寄り掛からないかもしくは両方だ」ということは誤りなら被災しない fact2: もし仮に「あのマイナスイオンは長しない」ということは本当であるなら「それは恙無くないか鋳鉄であるかあるいは両方ともである」ということは誤りである fact3: あのマイナスイオンは修練であるということはない fact4: 仮にあるものは被災しないとすると「御見舞いしないかあるいはそれは御存じ無い」ということは偽だ fact5: 仮にあのマイナスイオンは修練でないとすれば「長しないかまたは寄り掛からない」ということは成り立たない
fact1 -> int1: もしも「「あのマイナスイオンは長しないか寄り掛からない」ということは正しい」ということは偽であるとしたら被災しない; fact5 & fact3 -> int2: 「あのマイナスイオンは長しないかもしくは寄り掛からないか両方ともである」ということは成り立たない; int1 & int2 -> int3: あのマイナスイオンは被災しない; fact4 -> int4: もしもあのマイナスイオンは被災するということはないとすると「それは御見舞いするということはないかあるいは御存じ無いかあるいはどちらもだ」ということは事実でない; int3 & int4 -> hypothesis;
$facts$ = fact1: もし「なんらかの物は長しないかあるいは寄り掛からないかもしくは両方だ」ということは誤りなら被災しない fact2: もし仮に「あのマイナスイオンは長しない」ということは本当であるなら「それは恙無くないか鋳鉄であるかあるいは両方ともである」ということは誤りである fact3: あのマイナスイオンは修練であるということはない fact4: 仮にあるものは被災しないとすると「御見舞いしないかあるいはそれは御存じ無い」ということは偽だ fact5: 仮にあのマイナスイオンは修練でないとすれば「長しないかまたは寄り掛からない」ということは成り立たない ; $hypothesis$ = あのマイナスイオンは御見舞いしないかもしくは御存じ無いかまたは両方である ; $proof$ = 
fact1 -> int1: もしも「「あのマイナスイオンは長しないか寄り掛からない」ということは正しい」ということは偽であるとしたら被災しない; fact5 & fact3 -> int2: 「あのマイナスイオンは長しないかもしくは寄り掛からないか両方ともである」ということは成り立たない; int1 & int2 -> int3: あのマイナスイオンは被災しない; fact4 -> int4: もしもあのマイナスイオンは被災するということはないとすると「それは御見舞いするということはないかあるいは御存じ無いかあるいはどちらもだ」ということは事実でない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし「なんらかの物は長しないかあるいは寄り掛からないかもしくは両方だ」ということは誤りなら被災しない
事実2: もし仮に「あのマイナスイオンは長しない」ということは本当であるなら「それは恙無くないか鋳鉄であるかあるいは両方ともである」ということは誤りである
事実3: あのマイナスイオンは修練であるということはない
事実4: 仮にあるものは被災しないとすると「御見舞いしないかあるいはそれは御存じ無い」ということは偽だ
事実5: 仮にあのマイナスイオンは修練でないとすれば「長しないかまたは寄り掛からない」ということは成り立たない

仮説: あのマイナスイオンは御見舞いしないかもしくは御存じ無いかまたは両方である
1. 事実1から、推論1: "もしも「「あのマイナスイオンは長しないか寄り掛からない」ということは正しい」ということは偽であるとしたら被災しない"が導かれる
2. 事実5と事実3から、推論2: "「あのマイナスイオンは長しないかもしくは寄り掛からないか両方ともである」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "あのマイナスイオンは被災しない"が導かれる
4. 事実4から、推論4: "もしもあのマイナスイオンは被災するということはないとすると「それは御見舞いするということはないかあるいは御存じ無いかあるいはどちらもだ」ということは事実でない"が導かれる
5. 推論3と推論4から、仮説が否定される

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