この内裏雛はうつ伏す
fact1: もし判別し易い物が削除出来ないならうつ伏さない fact2: 「「訳無いしその上手厚くない」ということは間違いな」ものはある fact3: もしもなんらかのものが判別し易いとしたらブラックコーヒーだ fact4: もし仮にこの手製が判別し易いとするとブラックコーヒーだ fact5: もし仮にこの内裏雛が判別し易いならばこの日本神話はブラックコーヒーでないがしかしサバトだ fact6: この手製がとろ臭くないけどブラックコーヒーならばこの内裏雛はうつ伏す fact7: もし「あるものは情けなくないがかわゆい」ということは偽であるとしたらそれはかわゆくない fact8: 何らかの物は襟付けないとすると「情けなくないがしかしかわゆい」ということは偽である fact9: 「この所得補償は判別し易い」ということは事実であるとすればこの手製は判別し易い fact10: もし何かは削除出来ないとするとうつ伏すしかつ判別し易い fact11: 判別し易い物はとろ臭くないがブラックコーヒーである fact12: もし「幾種類な」物はあるとすれば「この所得補償は襟付けない」ということは真実だ fact13: 「この所得補償は判別し易い」ということは事実だ fact14: もし仮に「「訳無いが手厚くない」ということは成り立たない」ものがあるとしたらそのエトルリア人は幾種類だ
fact11 -> int1: もしもこの手製が判別し易いならそれはとろ臭いということはなくて更にブラックコーヒーだ; fact9 & fact13 -> int2: 「この手製は判別し易い」ということは正しい; int1 & int2 -> int3: この手製はとろ臭くないがブラックコーヒーである; int3 & fact6 -> hypothesis;
fact11 -> int1: {A}{aa} -> (¬{AA}{aa} & {AB}{aa}); fact9 & fact13 -> int2: {A}{aa}; int1 & int2 -> int3: (¬{AA}{aa} & {AB}{aa}); int3 & fact6 -> hypothesis;
この内裏雛はうつ伏さない
fact16 -> int4: もしこの内裏雛は判別し易いけど削除出来ないとしたらそれはうつ伏さない; fact17 -> int5: もし「この所得補償は情けなくない一方でかわゆい」ということは成り立たないとしたら「それはかわゆくない」ということは事実だ; fact18 -> int6: もしこの所得補償は襟付けないとしたら「情けなくないしまたかわゆい」ということは成り立たない; fact20 & fact19 -> int7: 「そのエトルリア人は幾種類である」ということは成り立つ; int7 -> int8: なにがしかの物は幾種類である; int8 & fact15 -> int9: この所得補償は襟付けない; int6 & int9 -> int10: 「この所得補償は情けなくない一方でそれはかわゆい」ということは成り立たない; int5 & int10 -> int11: この所得補償はかわゆくない; int11 -> int12: 「かわゆいということはない」物はある;
$facts$ = fact1: もし判別し易い物が削除出来ないならうつ伏さない fact2: 「「訳無いしその上手厚くない」ということは間違いな」ものはある fact3: もしもなんらかのものが判別し易いとしたらブラックコーヒーだ fact4: もし仮にこの手製が判別し易いとするとブラックコーヒーだ fact5: もし仮にこの内裏雛が判別し易いならばこの日本神話はブラックコーヒーでないがしかしサバトだ fact6: この手製がとろ臭くないけどブラックコーヒーならばこの内裏雛はうつ伏す fact7: もし「あるものは情けなくないがかわゆい」ということは偽であるとしたらそれはかわゆくない fact8: 何らかの物は襟付けないとすると「情けなくないがしかしかわゆい」ということは偽である fact9: 「この所得補償は判別し易い」ということは事実であるとすればこの手製は判別し易い fact10: もし何かは削除出来ないとするとうつ伏すしかつ判別し易い fact11: 判別し易い物はとろ臭くないがブラックコーヒーである fact12: もし「幾種類な」物はあるとすれば「この所得補償は襟付けない」ということは真実だ fact13: 「この所得補償は判別し易い」ということは事実だ fact14: もし仮に「「訳無いが手厚くない」ということは成り立たない」ものがあるとしたらそのエトルリア人は幾種類だ ; $hypothesis$ = この内裏雛はうつ伏す ; $proof$ = 
fact11 -> int1: もしもこの手製が判別し易いならそれはとろ臭いということはなくて更にブラックコーヒーだ; fact9 & fact13 -> int2: 「この手製は判別し易い」ということは正しい; int1 & int2 -> int3: この手製はとろ臭くないがブラックコーヒーである; int3 & fact6 -> hypothesis; __PROVED__
事実1: もし判別し易い物が削除出来ないならうつ伏さない
事実2: 「「訳無いしその上手厚くない」ということは間違いな」ものはある
事実3: もしもなんらかのものが判別し易いとしたらブラックコーヒーだ
事実4: もし仮にこの手製が判別し易いとするとブラックコーヒーだ
事実5: もし仮にこの内裏雛が判別し易いならばこの日本神話はブラックコーヒーでないがしかしサバトだ
事実6: この手製がとろ臭くないけどブラックコーヒーならばこの内裏雛はうつ伏す
事実7: もし「あるものは情けなくないがかわゆい」ということは偽であるとしたらそれはかわゆくない
事実8: 何らかの物は襟付けないとすると「情けなくないがしかしかわゆい」ということは偽である
事実9: 「この所得補償は判別し易い」ということは事実であるとすればこの手製は判別し易い
事実10: もし何かは削除出来ないとするとうつ伏すしかつ判別し易い
事実11: 判別し易い物はとろ臭くないがブラックコーヒーである
事実12: もし「幾種類な」物はあるとすれば「この所得補償は襟付けない」ということは真実だ
事実13: 「この所得補償は判別し易い」ということは事実だ
事実14: もし仮に「「訳無いが手厚くない」ということは成り立たない」ものがあるとしたらそのエトルリア人は幾種類だ

仮説: この内裏雛はうつ伏す
1. 事実11から、推論1: "もしもこの手製が判別し易いならそれはとろ臭いということはなくて更にブラックコーヒーだ"が導かれる
2. 事実9と事実13から、推論2: "「この手製は判別し易い」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "この手製はとろ臭くないがブラックコーヒーである"が導かれる
4. 推論3と事実6から、仮説が導かれる

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