その同性愛者は御飯物だ
fact1: 「その看護情報学は少なしない」ということは成り立てばあの選考基準は存続出来る fact2: 仮に「「ぼったくらなくてかつイングレスでない」ということは成り立つということはない」ものがあるとすればその同性愛者は御飯物である fact3: もし仮に「「膀胱瘤でないししかも聞こえ難い」ということは成り立つということはない」ものがあるとすればあの選考基準は存続出来ない fact4: もし仮になにがしかのものは取っ付き難くないならば「それはぼったくるし加えてそれはイングレスであるということはない」ということは成り立たない fact5: もし「膀胱瘤な」ものがあるとしたらあの選考基準は存続出来ない fact6: もし仮に「その看護情報学は奥様方である」ということは正しいならあの選考基準は存続出来る fact7: 「「膀胱瘤でなくてその上聞こえ難い」ということは事実と異なる」ものはある fact8: 「何かは奥様方であるかまたはそれは少なしということはないか両方ともだ」ということは真実だということはないとすればそれは取っ付き難くない fact9: もし仮になにかは取っ付き難くないとしたら「それはぼったくらなくてイングレスでない」ということは嘘である
void -> assump1: 以下のように仮定する。その看護情報学は奥様方であるか少なしない; assump1 & fact6 & fact1 -> int1: あの選考基準は存続出来る; fact3 & fact7 -> int2: あの選考基準は存続出来るということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その看護情報学は奥様方であるかそれは少なしない」ということは間違いだ; fact8 -> int5: 「その看護情報学は奥様方であるかまたは少なしない」ということは成り立たないとすれば取っ付き難いということはない; int4 & int5 -> int6: その看護情報学は取っ付き難くない; fact9 -> int7: もしもその看護情報学は取っ付き難いということはないならば「それはぼったくらないししかもイングレスでない」ということは嘘だ; int6 & int7 -> int8: 「その看護情報学はぼったくらないしそれにイングレスであるということはない」ということは誤りだ; int8 -> int9: 「「「ぼったくらなくてイングレスであるということはない」ということは間違っているということはない」ということは誤っている」ものはある; int9 & fact2 -> hypothesis;
$facts$ = fact1: 「その看護情報学は少なしない」ということは成り立てばあの選考基準は存続出来る fact2: 仮に「「ぼったくらなくてかつイングレスでない」ということは成り立つということはない」ものがあるとすればその同性愛者は御飯物である fact3: もし仮に「「膀胱瘤でないししかも聞こえ難い」ということは成り立つということはない」ものがあるとすればあの選考基準は存続出来ない fact4: もし仮になにがしかのものは取っ付き難くないならば「それはぼったくるし加えてそれはイングレスであるということはない」ということは成り立たない fact5: もし「膀胱瘤な」ものがあるとしたらあの選考基準は存続出来ない fact6: もし仮に「その看護情報学は奥様方である」ということは正しいならあの選考基準は存続出来る fact7: 「「膀胱瘤でなくてその上聞こえ難い」ということは事実と異なる」ものはある fact8: 「何かは奥様方であるかまたはそれは少なしということはないか両方ともだ」ということは真実だということはないとすればそれは取っ付き難くない fact9: もし仮になにかは取っ付き難くないとしたら「それはぼったくらなくてイングレスでない」ということは嘘である ; $hypothesis$ = その同性愛者は御飯物だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その看護情報学は奥様方であるか少なしない; assump1 & fact6 & fact1 -> int1: あの選考基準は存続出来る; fact3 & fact7 -> int2: あの選考基準は存続出来るということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その看護情報学は奥様方であるかそれは少なしない」ということは間違いだ; fact8 -> int5: 「その看護情報学は奥様方であるかまたは少なしない」ということは成り立たないとすれば取っ付き難いということはない; int4 & int5 -> int6: その看護情報学は取っ付き難くない; fact9 -> int7: もしもその看護情報学は取っ付き難いということはないならば「それはぼったくらないししかもイングレスでない」ということは嘘だ; int6 & int7 -> int8: 「その看護情報学はぼったくらないしそれにイングレスであるということはない」ということは誤りだ; int8 -> int9: 「「「ぼったくらなくてイングレスであるということはない」ということは間違っているということはない」ということは誤っている」ものはある; int9 & fact2 -> hypothesis; __PROVED__
事実1: 「その看護情報学は少なしない」ということは成り立てばあの選考基準は存続出来る
事実2: 仮に「「ぼったくらなくてかつイングレスでない」ということは成り立つということはない」ものがあるとすればその同性愛者は御飯物である
事実3: もし仮に「「膀胱瘤でないししかも聞こえ難い」ということは成り立つということはない」ものがあるとすればあの選考基準は存続出来ない
事実4: もし仮になにがしかのものは取っ付き難くないならば「それはぼったくるし加えてそれはイングレスであるということはない」ということは成り立たない
事実5: もし「膀胱瘤な」ものがあるとしたらあの選考基準は存続出来ない
事実6: もし仮に「その看護情報学は奥様方である」ということは正しいならあの選考基準は存続出来る
事実7: 「「膀胱瘤でなくてその上聞こえ難い」ということは事実と異なる」ものはある
事実8: 「何かは奥様方であるかまたはそれは少なしということはないか両方ともだ」ということは真実だということはないとすればそれは取っ付き難くない
事実9: もし仮になにかは取っ付き難くないとしたら「それはぼったくらなくてイングレスでない」ということは嘘である

仮説: その同性愛者は御飯物だ
1. 仮定1: 以下のように仮定する。その看護情報学は奥様方であるか少なしない
2. 仮定1と事実6と事実1から、推論1: "あの選考基準は存続出来る"が導かれる
3. 事実3と事実7から、推論2: "あの選考基準は存続出来るということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その看護情報学は奥様方であるかそれは少なしない」ということは間違いだ"が導かれる
6. 事実8から、推論5: "「その看護情報学は奥様方であるかまたは少なしない」ということは成り立たないとすれば取っ付き難いということはない"が導かれる
7. 推論4と推論5から、推論6: "その看護情報学は取っ付き難くない"が導かれる
8. 事実9から、推論7: "もしもその看護情報学は取っ付き難いということはないならば「それはぼったくらないししかもイングレスでない」ということは嘘だ"が導かれる
9. 推論6と推論7から、推論8: "「その看護情報学はぼったくらないしそれにイングレスであるということはない」ということは誤りだ"が導かれる
10. 推論8から、推論9: "「「「ぼったくらなくてイングレスであるということはない」ということは間違っているということはない」ということは誤っている」ものはある"が導かれる
11. 推論9と事実2から、仮説が導かれる

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