あの二国間は御相談下さる
fact1: 「「上がるし寵する」ということは真実でない」ものはある fact2: 「「上がるしその上寵する」ということは間違いである」物があればこのソーリーはニュー演算子でない fact3: もしあの教護院が名高くなくて作成出来ないとするとそれは経営システムでない fact4: 仮に「「あの教護院は名高くなくてかつ作成出来ない」ということは確かだ」ということは事実と異なるならあの二国間は行動異常でない fact5: 「あの教護院は名高いがしかし作成出来ない」ということは間違っている fact6: 仮に「ニュー演算子でない」物があればあの教護院は発見しないしおまけに色好くない fact7: 「あの二国間は色好い一方でミニ定規でない」ということは嘘である fact8: もしもあの二国間が色好いとしたらそれは発見しない fact9: あの教護院が名高い一方で作成出来ないならば経営システムでない fact10: この交差選択はニュー演算子でなくて冗談っぽくない fact11: 仮に「あの二国間が色好いということはないしさらにミニ定規でない」ということは間違いだとしたらそれは発見するということはない fact12: あの二国間はニュー演算子だ fact13: もしあの教護院が名高いとするとあの二国間は行動異常でない fact14: もしあの二国間は行動異常でないなら「それは色好くないししかもそれはミニ定規でない」ということは間違っている fact15: 何らかのものはミニ定規でないとすれば「経営システムでないしおまけにそれは行動異常だ」ということは誤りである fact16: あの教護院は経営システムだ fact17: もし仮にあの二国間が発見しないけれどニュー演算子ならば御相談下さる
void -> assump1: 以下のように仮定する。あの教護院は名高いということはないししかも作成出来ない; fact3 & assump1 -> int1: あの教護院は経営システムでない; int1 & fact16 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの教護院は名高くないし更に作成出来ない」ということは誤りだ; int3 & fact4 -> int4: あの二国間は行動異常でない; int4 & fact14 -> int5: 「あの二国間は色好くなくて加えてミニ定規でない」ということは成り立つということはない; int5 & fact11 -> int6: あの二国間は発見しない; int6 & fact12 -> int7: あの二国間は発見しないがニュー演算子である; int7 & fact17 -> hypothesis;
あの二国間は御相談下さらない
fact18 -> int8: もしもあの二国間はミニ定規でないなら「経営システムでないがしかし行動異常である」ということは成り立たない; fact19 & fact20 -> int9: 「このソーリーはニュー演算子でない」ということは成り立つ; int9 -> int10: 「ニュー演算子だということはない」物はある; int10 & fact21 -> int11: 「あの教護院は発見しないしそれに色好くない」ということは成り立つ; int11 -> int12: 「発見しなくて更に色好いということはない」ものはある;
$facts$ = fact1: 「「上がるし寵する」ということは真実でない」ものはある fact2: 「「上がるしその上寵する」ということは間違いである」物があればこのソーリーはニュー演算子でない fact3: もしあの教護院が名高くなくて作成出来ないとするとそれは経営システムでない fact4: 仮に「「あの教護院は名高くなくてかつ作成出来ない」ということは確かだ」ということは事実と異なるならあの二国間は行動異常でない fact5: 「あの教護院は名高いがしかし作成出来ない」ということは間違っている fact6: 仮に「ニュー演算子でない」物があればあの教護院は発見しないしおまけに色好くない fact7: 「あの二国間は色好い一方でミニ定規でない」ということは嘘である fact8: もしもあの二国間が色好いとしたらそれは発見しない fact9: あの教護院が名高い一方で作成出来ないならば経営システムでない fact10: この交差選択はニュー演算子でなくて冗談っぽくない fact11: 仮に「あの二国間が色好いということはないしさらにミニ定規でない」ということは間違いだとしたらそれは発見するということはない fact12: あの二国間はニュー演算子だ fact13: もしあの教護院が名高いとするとあの二国間は行動異常でない fact14: もしあの二国間は行動異常でないなら「それは色好くないししかもそれはミニ定規でない」ということは間違っている fact15: 何らかのものはミニ定規でないとすれば「経営システムでないしおまけにそれは行動異常だ」ということは誤りである fact16: あの教護院は経営システムだ fact17: もし仮にあの二国間が発見しないけれどニュー演算子ならば御相談下さる ; $hypothesis$ = あの二国間は御相談下さる ; $proof$ = 
void -> assump1: 以下のように仮定する。あの教護院は名高いということはないししかも作成出来ない; fact3 & assump1 -> int1: あの教護院は経営システムでない; int1 & fact16 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの教護院は名高くないし更に作成出来ない」ということは誤りだ; int3 & fact4 -> int4: あの二国間は行動異常でない; int4 & fact14 -> int5: 「あの二国間は色好くなくて加えてミニ定規でない」ということは成り立つということはない; int5 & fact11 -> int6: あの二国間は発見しない; int6 & fact12 -> int7: あの二国間は発見しないがニュー演算子である; int7 & fact17 -> hypothesis; __PROVED__
事実1: 「「上がるし寵する」ということは真実でない」ものはある
事実2: 「「上がるしその上寵する」ということは間違いである」物があればこのソーリーはニュー演算子でない
事実3: もしあの教護院が名高くなくて作成出来ないとするとそれは経営システムでない
事実4: 仮に「「あの教護院は名高くなくてかつ作成出来ない」ということは確かだ」ということは事実と異なるならあの二国間は行動異常でない
事実5: 「あの教護院は名高いがしかし作成出来ない」ということは間違っている
事実6: 仮に「ニュー演算子でない」物があればあの教護院は発見しないしおまけに色好くない
事実7: 「あの二国間は色好い一方でミニ定規でない」ということは嘘である
事実8: もしもあの二国間が色好いとしたらそれは発見しない
事実9: あの教護院が名高い一方で作成出来ないならば経営システムでない
事実10: この交差選択はニュー演算子でなくて冗談っぽくない
事実11: 仮に「あの二国間が色好いということはないしさらにミニ定規でない」ということは間違いだとしたらそれは発見するということはない
事実12: あの二国間はニュー演算子だ
事実13: もしあの教護院が名高いとするとあの二国間は行動異常でない
事実14: もしあの二国間は行動異常でないなら「それは色好くないししかもそれはミニ定規でない」ということは間違っている
事実15: 何らかのものはミニ定規でないとすれば「経営システムでないしおまけにそれは行動異常だ」ということは誤りである
事実16: あの教護院は経営システムだ
事実17: もし仮にあの二国間が発見しないけれどニュー演算子ならば御相談下さる

仮説: あの二国間は御相談下さる
1. 仮定1: 以下のように仮定する。あの教護院は名高いということはないししかも作成出来ない
2. 事実3と仮定1から、推論1: "あの教護院は経営システムでない"が導かれる
3. 推論1と事実16から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あの教護院は名高くないし更に作成出来ない」ということは誤りだ"が導かれる
5. 推論3と事実4から、推論4: "あの二国間は行動異常でない"が導かれる
6. 推論4と事実14から、推論5: "「あの二国間は色好くなくて加えてミニ定規でない」ということは成り立つということはない"が導かれる
7. 推論5と事実11から、推論6: "あの二国間は発見しない"が導かれる
8. 推論6と事実12から、推論7: "あの二国間は発見しないがニュー演算子である"が導かれる
9. 推論7と事実17から、仮説が導かれる

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