「この沖縄料理はおどろおどろしいということはなくてかつクリップビューアでない」ということは間違いである
fact1: もし仮にこのロングは夫婦らしいとすれば「この沖縄料理はおどろおどろしくなくてクリップビューアでない」ということは事実と異なる fact2: もし仮に「「小都市だということはないし内務省予算である」ということは成り立たない」ものがあるならこのソ軍は小都市である fact3: 「このロングはみっともないということはないけれどそれは鈍る」ということは真実だということはないとすればそれは夫婦らしい fact4: 「この沖縄料理はおどろおどろしくないがしかしクリップビューアである」ということは嘘だ fact5: 「「小都市でなくて加えて内務省予算である」ということは誤りである」ものはある fact6: もし仮に「このロングは夫婦らしい」ということは確かなら「この沖縄料理はおどろおどろしいがクリップビューアでない」ということは成り立たない fact7: 「その基盤は創出出来るかまたはそれは潔いということはないかあるいはどちらもだ」ということは誤りだ fact8: 「このロングはみっともなくないけど鈍る」ということは誤っている fact9: もしもこのソ軍が小都市なら対応し易い fact10: 夫婦らしくない物はおどろおどろしくないしクリップビューアでない fact11: 「この沖縄料理はおどろおどろしいがしかしクリップビューアでない」ということは成り立たない fact12: もし仮にこのロングがみっともないとすれば夫婦らしい fact13: もし仮にこのロングは夫婦らしいとすると「この沖縄料理はおどろおどろしくないがクリップビューアだ」ということは成り立たない fact14: 「このロングはみっともないし更に鈍る」ということは成り立たない fact15: もしもこのロングが成立し難いということはないならばあの沖縄料理は揮発し易いがしかし夫婦らしくない
fact3 & fact8 -> int1: このロングは夫婦らしい; int1 & fact1 -> hypothesis;
この沖縄料理はおどろおどろしいということはなくてクリップビューアでない
fact16 -> int2: 「この沖縄料理は夫婦らしくない」ということは成り立つとしたらそれはおどろおどろしいということはないしかつそれはクリップビューアでない; fact21 & fact17 -> int3: このソ軍は小都市だ; fact18 & int3 -> int4: このソ軍は対応し易い; fact19 -> int5: 「「創出出来るかまたは潔くない」ということは誤っている」物はある;
$facts$ = fact1: もし仮にこのロングは夫婦らしいとすれば「この沖縄料理はおどろおどろしくなくてクリップビューアでない」ということは事実と異なる fact2: もし仮に「「小都市だということはないし内務省予算である」ということは成り立たない」ものがあるならこのソ軍は小都市である fact3: 「このロングはみっともないということはないけれどそれは鈍る」ということは真実だということはないとすればそれは夫婦らしい fact4: 「この沖縄料理はおどろおどろしくないがしかしクリップビューアである」ということは嘘だ fact5: 「「小都市でなくて加えて内務省予算である」ということは誤りである」ものはある fact6: もし仮に「このロングは夫婦らしい」ということは確かなら「この沖縄料理はおどろおどろしいがクリップビューアでない」ということは成り立たない fact7: 「その基盤は創出出来るかまたはそれは潔いということはないかあるいはどちらもだ」ということは誤りだ fact8: 「このロングはみっともなくないけど鈍る」ということは誤っている fact9: もしもこのソ軍が小都市なら対応し易い fact10: 夫婦らしくない物はおどろおどろしくないしクリップビューアでない fact11: 「この沖縄料理はおどろおどろしいがしかしクリップビューアでない」ということは成り立たない fact12: もし仮にこのロングがみっともないとすれば夫婦らしい fact13: もし仮にこのロングは夫婦らしいとすると「この沖縄料理はおどろおどろしくないがクリップビューアだ」ということは成り立たない fact14: 「このロングはみっともないし更に鈍る」ということは成り立たない fact15: もしもこのロングが成立し難いということはないならばあの沖縄料理は揮発し易いがしかし夫婦らしくない ; $hypothesis$ = 「この沖縄料理はおどろおどろしいということはなくてかつクリップビューアでない」ということは間違いである ; $proof$ = 
fact3 & fact8 -> int1: このロングは夫婦らしい; int1 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にこのロングは夫婦らしいとすれば「この沖縄料理はおどろおどろしくなくてクリップビューアでない」ということは事実と異なる
事実2: もし仮に「「小都市だということはないし内務省予算である」ということは成り立たない」ものがあるならこのソ軍は小都市である
事実3: 「このロングはみっともないということはないけれどそれは鈍る」ということは真実だということはないとすればそれは夫婦らしい
事実4: 「この沖縄料理はおどろおどろしくないがしかしクリップビューアである」ということは嘘だ
事実5: 「「小都市でなくて加えて内務省予算である」ということは誤りである」ものはある
事実6: もし仮に「このロングは夫婦らしい」ということは確かなら「この沖縄料理はおどろおどろしいがクリップビューアでない」ということは成り立たない
事実7: 「その基盤は創出出来るかまたはそれは潔いということはないかあるいはどちらもだ」ということは誤りだ
事実8: 「このロングはみっともなくないけど鈍る」ということは誤っている
事実9: もしもこのソ軍が小都市なら対応し易い
事実10: 夫婦らしくない物はおどろおどろしくないしクリップビューアでない
事実11: 「この沖縄料理はおどろおどろしいがしかしクリップビューアでない」ということは成り立たない
事実12: もし仮にこのロングがみっともないとすれば夫婦らしい
事実13: もし仮にこのロングは夫婦らしいとすると「この沖縄料理はおどろおどろしくないがクリップビューアだ」ということは成り立たない
事実14: 「このロングはみっともないし更に鈍る」ということは成り立たない
事実15: もしもこのロングが成立し難いということはないならばあの沖縄料理は揮発し易いがしかし夫婦らしくない

仮説: 「この沖縄料理はおどろおどろしいということはなくてかつクリップビューアでない」ということは間違いである
1. 事実3と事実8から、推論1: "このロングは夫婦らしい"が導かれる
2. 推論1と事実1から、仮説が導かれる

よって、仮説が証明されました。