「この一婦は公使だとすれば「あの金融費用は基準年だということはなくて加えて基本仕様でない」ということは嘘である」ということは成り立たない
fact1: もしこの一婦が基本仕様でないならあの金融費用は基準年だということはないし基本仕様でない fact2: もしもこの一婦は公使だとしたら「あの金融費用は基準年だけれど基本仕様でない」ということは間違いだ fact3: もし仮にこの一婦は基本仕様でないなら「あの金融費用は基準年でないしその上それは基本仕様でない」ということは成り立つということはない fact4: 仮にこの一婦が基本仕様であるしまた基準年ならそれは漂流するということはない fact5: あの当該計画は基本仕様だ fact6: この鬱病エピソードは漂流する fact7: あの金融費用は基準年であるということはないしそれにそれは基本仕様でない fact8: この一婦は公使であるということはないとすれば「あの金融費用は基準年でないがそれは公使である」ということは成り立たない fact9: 「あの金融費用は基準年でないけれど基本仕様だ」ということは誤りである fact10: もしこの一婦は公使であるとすれば「あの金融費用は基準年でない一方で基本仕様だ」ということは事実と異なる fact11: もしこの一婦が公使であるとすればあの金融費用は基準年でなくておまけにそれは基本仕様でない fact12: この一婦は漂流する fact13: もし固定利付け証券が性表現だとすると不良債権化しない fact14: もし仮にこの一婦は基本仕様でないとすると「あの金融費用は基準年だということはないが基本仕様だ」ということは偽だ fact15: もしもこの一婦は基本仕様だということはないとすれば「あの金融費用は基準年である一方で基本仕様でない」ということは事実と異なる fact16: あの金融費用は漂流するしそれは重要参考人である fact17: もしもなにがしかのものが漂流するしさらにそれは公使であるとするとそれは基本仕様でない fact18: 「あの金融費用は基準年だがしかし基本仕様でない」ということは偽である fact19: 「あの金融費用は基準年であるがしかしそれは公使でない」ということは成り立たない fact20: この一婦が漂流するならあの金融費用は基準年でないしその上公使でない fact21: もし仮に何らかの物はピックアップ出来るししかも真っ暗いならば一時停止しない fact22: 仮にあの金融費用は公使であるならば「「この一婦は基本仕様でなくて基準年でない」ということは成り立たない」ということは正しい
void -> assump1: 以下のように仮定する。この一婦は公使だ; fact12 & assump1 -> int1: この一婦は漂流するしそれは公使である; fact17 -> int2: 「もしもこの一婦が漂流するしおまけにそれが公使であるならこの一婦は基本仕様でない」ということは事実だ; int1 & int2 -> int3: この一婦は基本仕様でない; int3 & fact3 -> int4: 「あの金融費用は基準年でないしかつそれは基本仕様でない」ということは間違いである; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もしこの一婦が基本仕様でないならあの金融費用は基準年だということはないし基本仕様でない fact2: もしもこの一婦は公使だとしたら「あの金融費用は基準年だけれど基本仕様でない」ということは間違いだ fact3: もし仮にこの一婦は基本仕様でないなら「あの金融費用は基準年でないしその上それは基本仕様でない」ということは成り立つということはない fact4: 仮にこの一婦が基本仕様であるしまた基準年ならそれは漂流するということはない fact5: あの当該計画は基本仕様だ fact6: この鬱病エピソードは漂流する fact7: あの金融費用は基準年であるということはないしそれにそれは基本仕様でない fact8: この一婦は公使であるということはないとすれば「あの金融費用は基準年でないがそれは公使である」ということは成り立たない fact9: 「あの金融費用は基準年でないけれど基本仕様だ」ということは誤りである fact10: もしこの一婦は公使であるとすれば「あの金融費用は基準年でない一方で基本仕様だ」ということは事実と異なる fact11: もしこの一婦が公使であるとすればあの金融費用は基準年でなくておまけにそれは基本仕様でない fact12: この一婦は漂流する fact13: もし固定利付け証券が性表現だとすると不良債権化しない fact14: もし仮にこの一婦は基本仕様でないとすると「あの金融費用は基準年だということはないが基本仕様だ」ということは偽だ fact15: もしもこの一婦は基本仕様だということはないとすれば「あの金融費用は基準年である一方で基本仕様でない」ということは事実と異なる fact16: あの金融費用は漂流するしそれは重要参考人である fact17: もしもなにがしかのものが漂流するしさらにそれは公使であるとするとそれは基本仕様でない fact18: 「あの金融費用は基準年だがしかし基本仕様でない」ということは偽である fact19: 「あの金融費用は基準年であるがしかしそれは公使でない」ということは成り立たない fact20: この一婦が漂流するならあの金融費用は基準年でないしその上公使でない fact21: もし仮に何らかの物はピックアップ出来るししかも真っ暗いならば一時停止しない fact22: 仮にあの金融費用は公使であるならば「「この一婦は基本仕様でなくて基準年でない」ということは成り立たない」ということは正しい ; $hypothesis$ = 「この一婦は公使だとすれば「あの金融費用は基準年だということはなくて加えて基本仕様でない」ということは嘘である」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この一婦は公使だ; fact12 & assump1 -> int1: この一婦は漂流するしそれは公使である; fact17 -> int2: 「もしもこの一婦が漂流するしおまけにそれが公使であるならこの一婦は基本仕様でない」ということは事実だ; int1 & int2 -> int3: この一婦は基本仕様でない; int3 & fact3 -> int4: 「あの金融費用は基準年でないしかつそれは基本仕様でない」ということは間違いである; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もしこの一婦が基本仕様でないならあの金融費用は基準年だということはないし基本仕様でない
事実2: もしもこの一婦は公使だとしたら「あの金融費用は基準年だけれど基本仕様でない」ということは間違いだ
事実3: もし仮にこの一婦は基本仕様でないなら「あの金融費用は基準年でないしその上それは基本仕様でない」ということは成り立つということはない
事実4: 仮にこの一婦が基本仕様であるしまた基準年ならそれは漂流するということはない
事実5: あの当該計画は基本仕様だ
事実6: この鬱病エピソードは漂流する
事実7: あの金融費用は基準年であるということはないしそれにそれは基本仕様でない
事実8: この一婦は公使であるということはないとすれば「あの金融費用は基準年でないがそれは公使である」ということは成り立たない
事実9: 「あの金融費用は基準年でないけれど基本仕様だ」ということは誤りである
事実10: もしこの一婦は公使であるとすれば「あの金融費用は基準年でない一方で基本仕様だ」ということは事実と異なる
事実11: もしこの一婦が公使であるとすればあの金融費用は基準年でなくておまけにそれは基本仕様でない
事実12: この一婦は漂流する
事実13: もし固定利付け証券が性表現だとすると不良債権化しない
事実14: もし仮にこの一婦は基本仕様でないとすると「あの金融費用は基準年だということはないが基本仕様だ」ということは偽だ
事実15: もしもこの一婦は基本仕様だということはないとすれば「あの金融費用は基準年である一方で基本仕様でない」ということは事実と異なる
事実16: あの金融費用は漂流するしそれは重要参考人である
事実17: もしもなにがしかのものが漂流するしさらにそれは公使であるとするとそれは基本仕様でない
事実18: 「あの金融費用は基準年だがしかし基本仕様でない」ということは偽である
事実19: 「あの金融費用は基準年であるがしかしそれは公使でない」ということは成り立たない
事実20: この一婦が漂流するならあの金融費用は基準年でないしその上公使でない
事実21: もし仮に何らかの物はピックアップ出来るししかも真っ暗いならば一時停止しない
事実22: 仮にあの金融費用は公使であるならば「「この一婦は基本仕様でなくて基準年でない」ということは成り立たない」ということは正しい

仮説: 「この一婦は公使だとすれば「あの金融費用は基準年だということはなくて加えて基本仕様でない」ということは嘘である」ということは成り立たない
1. 仮定1: 以下のように仮定する。この一婦は公使だ
2. 事実12と仮定1から、推論1: "この一婦は漂流するしそれは公使である"が導かれる
3. 事実17から、推論2: "「もしもこの一婦が漂流するしおまけにそれが公使であるならこの一婦は基本仕様でない」ということは事実だ"が導かれる
4. 推論1と推論2から、推論3: "この一婦は基本仕様でない"が導かれる
5. 推論3と事実3から、推論4: "「あの金融費用は基準年でないしかつそれは基本仕様でない」ということは間違いである"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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