あの合併特例債は監視し易い
fact1: もしあの試験会場がディープキスであるとしたらあの合併特例債は監視し易い fact2: この細胞質膜は白黒付けるししかもそれは弗素塗料だ fact3: もし仮にあの角膜移植が護持するしおまけにそれが堆いとすればこのゲレンデは弗素塗料でない fact4: ディープキスは説明し易いか訂正審判でないか両方だ fact5: 「あの試験会場は訂正審判で更にそれは説明し易い」ということは嘘である fact6: もしあの試験会場が説明し易いならばそれはディープキスである fact7: あの角膜移植は訂正審判でないとすると「それは成瀬作品であるけど膝裏でない」ということは成り立たない fact8: 「もしあの角膜移植は訂正審判だとすれば「あの試験会場は訂正審判だ一方で説明し易くない」ということは成り立たない」ということは正しい fact9: この細胞質膜は弗素塗料である fact10: もしもなんらかの物は説明し易いということはないとすれば「訂正審判であるしその上白黒付けない」ということは成り立たない fact11: 仮に「なにかは訂正審判だが白黒付けない」ということは偽であるとすればそれは監視し易くない fact12: もし仮にあの角膜移植は訂正審判だとすると「あの試験会場は訂正審判でそれは説明し易い」ということは成り立たない fact13: もしも「あの角膜移植が成瀬作品だけど膝裏でない」ということは成り立つということはないとしたらこの細胞質膜は白黒付けない fact14: もしも「あの角膜移植は成瀬作品であるということはない」ということは確かであるならばあの細胞質膜は白黒付けない fact15: 仮になんらかの物が弗素塗料でないしそれにそれはディープキスでないならそれは説明し易くない fact16: 仮に「あの試験会場は訂正審判であるが説明し易くない」ということは誤りならばディープキスだ fact17: もし仮になにがしかの物が弗素塗料でないならディープキスであるししかもそれは監視し易い
void -> assump1: 以下のように仮定する。「あの角膜移植は訂正審判でない」ということは事実である; fact7 & assump1 -> int1: 「あの角膜移植は成瀬作品であるがそれは膝裏でない」ということは偽である; int1 & fact13 -> int2: この細胞質膜は白黒付けない; fact2 -> int3: この細胞質膜は白黒付ける; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの角膜移植は訂正審判だ; int5 & fact8 -> int6: 「あの試験会場は訂正審判だけど説明し易くない」ということは成り立たない; int6 & fact16 -> int7: あの試験会場はディープキスである; int7 & fact1 -> hypothesis;
このゲレンデは白黒付ける
fact18 -> int8: 仮にこのゲレンデはディープキスであるならば説明し易いかあるいは訂正審判でないかあるいは両方ともだ; fact19 -> int9: もしこのゲレンデが弗素塗料でないとすればそれはディープキスだしさらに監視し易い;
$facts$ = fact1: もしあの試験会場がディープキスであるとしたらあの合併特例債は監視し易い fact2: この細胞質膜は白黒付けるししかもそれは弗素塗料だ fact3: もし仮にあの角膜移植が護持するしおまけにそれが堆いとすればこのゲレンデは弗素塗料でない fact4: ディープキスは説明し易いか訂正審判でないか両方だ fact5: 「あの試験会場は訂正審判で更にそれは説明し易い」ということは嘘である fact6: もしあの試験会場が説明し易いならばそれはディープキスである fact7: あの角膜移植は訂正審判でないとすると「それは成瀬作品であるけど膝裏でない」ということは成り立たない fact8: 「もしあの角膜移植は訂正審判だとすれば「あの試験会場は訂正審判だ一方で説明し易くない」ということは成り立たない」ということは正しい fact9: この細胞質膜は弗素塗料である fact10: もしもなんらかの物は説明し易いということはないとすれば「訂正審判であるしその上白黒付けない」ということは成り立たない fact11: 仮に「なにかは訂正審判だが白黒付けない」ということは偽であるとすればそれは監視し易くない fact12: もし仮にあの角膜移植は訂正審判だとすると「あの試験会場は訂正審判でそれは説明し易い」ということは成り立たない fact13: もしも「あの角膜移植が成瀬作品だけど膝裏でない」ということは成り立つということはないとしたらこの細胞質膜は白黒付けない fact14: もしも「あの角膜移植は成瀬作品であるということはない」ということは確かであるならばあの細胞質膜は白黒付けない fact15: 仮になんらかの物が弗素塗料でないしそれにそれはディープキスでないならそれは説明し易くない fact16: 仮に「あの試験会場は訂正審判であるが説明し易くない」ということは誤りならばディープキスだ fact17: もし仮になにがしかの物が弗素塗料でないならディープキスであるししかもそれは監視し易い ; $hypothesis$ = あの合併特例債は監視し易い ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの角膜移植は訂正審判でない」ということは事実である; fact7 & assump1 -> int1: 「あの角膜移植は成瀬作品であるがそれは膝裏でない」ということは偽である; int1 & fact13 -> int2: この細胞質膜は白黒付けない; fact2 -> int3: この細胞質膜は白黒付ける; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの角膜移植は訂正審判だ; int5 & fact8 -> int6: 「あの試験会場は訂正審判だけど説明し易くない」ということは成り立たない; int6 & fact16 -> int7: あの試験会場はディープキスである; int7 & fact1 -> hypothesis; __PROVED__
事実1: もしあの試験会場がディープキスであるとしたらあの合併特例債は監視し易い
事実2: この細胞質膜は白黒付けるししかもそれは弗素塗料だ
事実3: もし仮にあの角膜移植が護持するしおまけにそれが堆いとすればこのゲレンデは弗素塗料でない
事実4: ディープキスは説明し易いか訂正審判でないか両方だ
事実5: 「あの試験会場は訂正審判で更にそれは説明し易い」ということは嘘である
事実6: もしあの試験会場が説明し易いならばそれはディープキスである
事実7: あの角膜移植は訂正審判でないとすると「それは成瀬作品であるけど膝裏でない」ということは成り立たない
事実8: 「もしあの角膜移植は訂正審判だとすれば「あの試験会場は訂正審判だ一方で説明し易くない」ということは成り立たない」ということは正しい
事実9: この細胞質膜は弗素塗料である
事実10: もしもなんらかの物は説明し易いということはないとすれば「訂正審判であるしその上白黒付けない」ということは成り立たない
事実11: 仮に「なにかは訂正審判だが白黒付けない」ということは偽であるとすればそれは監視し易くない
事実12: もし仮にあの角膜移植は訂正審判だとすると「あの試験会場は訂正審判でそれは説明し易い」ということは成り立たない
事実13: もしも「あの角膜移植が成瀬作品だけど膝裏でない」ということは成り立つということはないとしたらこの細胞質膜は白黒付けない
事実14: もしも「あの角膜移植は成瀬作品であるということはない」ということは確かであるならばあの細胞質膜は白黒付けない
事実15: 仮になんらかの物が弗素塗料でないしそれにそれはディープキスでないならそれは説明し易くない
事実16: 仮に「あの試験会場は訂正審判であるが説明し易くない」ということは誤りならばディープキスだ
事実17: もし仮になにがしかの物が弗素塗料でないならディープキスであるししかもそれは監視し易い

仮説: あの合併特例債は監視し易い
1. 仮定1: 以下のように仮定する。「あの角膜移植は訂正審判でない」ということは事実である
2. 事実7と仮定1から、推論1: "「あの角膜移植は成瀬作品であるがそれは膝裏でない」ということは偽である"が導かれる
3. 推論1と事実13から、推論2: "この細胞質膜は白黒付けない"が導かれる
4. 事実2から、推論3: "この細胞質膜は白黒付ける"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの角膜移植は訂正審判だ"が導かれる
7. 推論5と事実8から、推論6: "「あの試験会場は訂正審判だけど説明し易くない」ということは成り立たない"が導かれる
8. 推論6と事実16から、推論7: "あの試験会場はディープキスである"が導かれる
9. 推論7と事実1から、仮説が導かれる

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