「もし仮にその高圧ガスは資しないとしたら「その南海は結核登録者でないしそれに発行元でない」ということは事実でない」ということは事実と異なる
fact1: その高圧ガスは発行元であるならば「その南海は結核登録者でないしそれは発行元でない」ということは偽である fact2: もしもその高圧ガスは結核登録者でないがしかし入り難いなら外し易くない fact3: もしその高圧ガスは資するなら「「その南海は結核登録者でなくておまけに発行元でない」ということは誤りだ」ということは真実である fact4: もし仮に「その高圧ガスは発行元だ」ということは真実だとしたら「その南海は結核登録者であるがしかし発行元でない」ということは誤りである fact5: もしあるものが資しないし外し易いということはないならそれは発行元だ fact6: その南海は発行元でない一方で入り難いとしたらそれは結核登録者でない fact7: その高圧ガスは学君でないしおまけに共感的理解でない fact8: 「その南海は透水である一方で予測値でない」ということは偽だ fact9: なんらかのものが発行元でなくてそれは結核登録者でないなら資する fact10: この保険者番号は入り難くない fact11: もしもその高圧ガスが資するとしたらその南海は発行元でないしその上資しない fact12: もしその南海は発行元でないし加えて結核登録者であるということはないとしたらそれは入り難くない fact13: その高圧ガスはプレイ出来ないしそれに入り難いということはない fact14: 「その南海は結核登録者だがそれは発行元でない」ということは誤っている fact15: 仮にその高圧ガスは資しないとすれば「「その南海は結核登録者であるが発行元でない」ということは確かだ」ということは成り立たない fact16: 「「その高圧ガスはブランドらしいがしかしプレイ出来ない」ということは間違いである」ということは確かだ fact17: 仮にその高圧ガスは資しないとすると「その南海は結核登録者でないが発行元だ」ということは誤りである fact18: その高圧ガスは入り難くない fact19: 「その南海は結核登録者でないが発行元だ」ということは間違っている fact20: 「その高圧ガスは忌まわしいけど結核登録者でない」ということは成り立たない fact21: 「その南海は外し易いということはなくてかつ発行元でない」ということは間違っている fact22: その五ＰＭはプレイ出来るということはない fact23: もしもその高圧ガスは結核登録者であるということはなくて更に外し易くないならば発行元でない fact24: もしその高圧ガスはプレイ出来なくておまけに入り難くないとしたらそれは外し易くない
fact24 & fact13 -> int1: 「その高圧ガスは外し易くない」ということは成り立つ; void -> assump1: 以下のように仮定する。その高圧ガスは資しない; int1 & assump1 -> int2: その高圧ガスは資しないしまた外し易くない; fact5 -> int3: もしその高圧ガスは資しなくて加えて外し易くないならそれは発行元である; int2 & int3 -> int4: その高圧ガスは発行元である; int4 & fact1 -> int5: 「その南海は結核登録者でないしさらに発行元でない」ということは成り立つということはない; [assump1] & int5 -> hypothesis;
この保険者番号は入り難くないししかも御絵書きでない
$facts$ = fact1: その高圧ガスは発行元であるならば「その南海は結核登録者でないしそれは発行元でない」ということは偽である fact2: もしもその高圧ガスは結核登録者でないがしかし入り難いなら外し易くない fact3: もしその高圧ガスは資するなら「「その南海は結核登録者でなくておまけに発行元でない」ということは誤りだ」ということは真実である fact4: もし仮に「その高圧ガスは発行元だ」ということは真実だとしたら「その南海は結核登録者であるがしかし発行元でない」ということは誤りである fact5: もしあるものが資しないし外し易いということはないならそれは発行元だ fact6: その南海は発行元でない一方で入り難いとしたらそれは結核登録者でない fact7: その高圧ガスは学君でないしおまけに共感的理解でない fact8: 「その南海は透水である一方で予測値でない」ということは偽だ fact9: なんらかのものが発行元でなくてそれは結核登録者でないなら資する fact10: この保険者番号は入り難くない fact11: もしもその高圧ガスが資するとしたらその南海は発行元でないしその上資しない fact12: もしその南海は発行元でないし加えて結核登録者であるということはないとしたらそれは入り難くない fact13: その高圧ガスはプレイ出来ないしそれに入り難いということはない fact14: 「その南海は結核登録者だがそれは発行元でない」ということは誤っている fact15: 仮にその高圧ガスは資しないとすれば「「その南海は結核登録者であるが発行元でない」ということは確かだ」ということは成り立たない fact16: 「「その高圧ガスはブランドらしいがしかしプレイ出来ない」ということは間違いである」ということは確かだ fact17: 仮にその高圧ガスは資しないとすると「その南海は結核登録者でないが発行元だ」ということは誤りである fact18: その高圧ガスは入り難くない fact19: 「その南海は結核登録者でないが発行元だ」ということは間違っている fact20: 「その高圧ガスは忌まわしいけど結核登録者でない」ということは成り立たない fact21: 「その南海は外し易いということはなくてかつ発行元でない」ということは間違っている fact22: その五ＰＭはプレイ出来るということはない fact23: もしもその高圧ガスは結核登録者であるということはなくて更に外し易くないならば発行元でない fact24: もしその高圧ガスはプレイ出来なくておまけに入り難くないとしたらそれは外し易くない ; $hypothesis$ = 「もし仮にその高圧ガスは資しないとしたら「その南海は結核登録者でないしそれに発行元でない」ということは事実でない」ということは事実と異なる ; $proof$ = 
fact24 & fact13 -> int1: 「その高圧ガスは外し易くない」ということは成り立つ; void -> assump1: 以下のように仮定する。その高圧ガスは資しない; int1 & assump1 -> int2: その高圧ガスは資しないしまた外し易くない; fact5 -> int3: もしその高圧ガスは資しなくて加えて外し易くないならそれは発行元である; int2 & int3 -> int4: その高圧ガスは発行元である; int4 & fact1 -> int5: 「その南海は結核登録者でないしさらに発行元でない」ということは成り立つということはない; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: その高圧ガスは発行元であるならば「その南海は結核登録者でないしそれは発行元でない」ということは偽である
事実2: もしもその高圧ガスは結核登録者でないがしかし入り難いなら外し易くない
事実3: もしその高圧ガスは資するなら「「その南海は結核登録者でなくておまけに発行元でない」ということは誤りだ」ということは真実である
事実4: もし仮に「その高圧ガスは発行元だ」ということは真実だとしたら「その南海は結核登録者であるがしかし発行元でない」ということは誤りである
事実5: もしあるものが資しないし外し易いということはないならそれは発行元だ
事実6: その南海は発行元でない一方で入り難いとしたらそれは結核登録者でない
事実7: その高圧ガスは学君でないしおまけに共感的理解でない
事実8: 「その南海は透水である一方で予測値でない」ということは偽だ
事実9: なんらかのものが発行元でなくてそれは結核登録者でないなら資する
事実10: この保険者番号は入り難くない
事実11: もしもその高圧ガスが資するとしたらその南海は発行元でないしその上資しない
事実12: もしその南海は発行元でないし加えて結核登録者であるということはないとしたらそれは入り難くない
事実13: その高圧ガスはプレイ出来ないしそれに入り難いということはない
事実14: 「その南海は結核登録者だがそれは発行元でない」ということは誤っている
事実15: 仮にその高圧ガスは資しないとすれば「「その南海は結核登録者であるが発行元でない」ということは確かだ」ということは成り立たない
事実16: 「「その高圧ガスはブランドらしいがしかしプレイ出来ない」ということは間違いである」ということは確かだ
事実17: 仮にその高圧ガスは資しないとすると「その南海は結核登録者でないが発行元だ」ということは誤りである
事実18: その高圧ガスは入り難くない
事実19: 「その南海は結核登録者でないが発行元だ」ということは間違っている
事実20: 「その高圧ガスは忌まわしいけど結核登録者でない」ということは成り立たない
事実21: 「その南海は外し易いということはなくてかつ発行元でない」ということは間違っている
事実22: その五ＰＭはプレイ出来るということはない
事実23: もしもその高圧ガスは結核登録者であるということはなくて更に外し易くないならば発行元でない
事実24: もしその高圧ガスはプレイ出来なくておまけに入り難くないとしたらそれは外し易くない

仮説: 「もし仮にその高圧ガスは資しないとしたら「その南海は結核登録者でないしそれに発行元でない」ということは事実でない」ということは事実と異なる
1. 事実24と事実13から、推論1: "「その高圧ガスは外し易くない」ということは成り立つ"が導かれる
2. 仮定1: 以下のように仮定する。その高圧ガスは資しない
3. 推論1と仮定1から、推論2: "その高圧ガスは資しないしまた外し易くない"が導かれる
4. 事実5から、推論3: "もしその高圧ガスは資しなくて加えて外し易くないならそれは発行元である"が導かれる
5. 推論2と推論3から、推論4: "その高圧ガスは発行元である"が導かれる
6. 推論4と事実1から、推論5: "「その南海は結核登録者でないしさらに発行元でない」ということは成り立つということはない"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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