あの利尿薬は敢え無くない
fact1: その公立小学校は調達すし確からしいとすれば推薦しない fact2: もし「何らかのものはＡＲＦでないけれど煮染める」ということは間違いであるとしたら敢え無くない fact3: 仮になにがしかのものは煮染めないかもしくは欲深くないかまたは両方だとすれば「第二種兼業農家でない」ということは成り立つ fact4: なにがしかの物はＡＲＦならば「煮染めないかあるいはそれは欲深くないかまたはどちらもである」ということは事実である fact5: その公立小学校がＡＲＦであるということはないとすればあの恩典はＡＲＦだ fact6: もしその特定保健用食品が敢え無いとすれば推薦する fact7: もしもその公立小学校は四季紅でないとすれば「その特定保健用食品は欲深くないししかも四季紅でない」ということは成り立たない fact8: その特定保健用食品は敢え無い fact9: もしその公立小学校が調達すがしかしそれが確からしくないならばそれは推薦しない fact10: この関節拘縮は煮染めないとすると「あの利尿薬はＡＲＦでないけれど煮染める」ということは偽である fact11: その公立小学校は調達すけど確からしくない fact12: もし仮にその公立小学校が四季紅だとすれば推薦する fact13: なにかは推薦するとしたらその恩典は物らしいしその上四季紅だ fact14: もし「なんらかのものは推薦するがしかし欲深くない」ということは誤っているなら「推薦しない」ということは事実である fact15: もし「その特定保健用食品は欲深くないしまた四季紅でない」ということは成り立たないなら「この関節拘縮は煮染める」ということは真実でない
void -> assump1: 以下のように仮定する。その公立小学校は四季紅である; fact12 & assump1 -> int1: その公立小学校は推薦する; fact9 & fact11 -> int2: その公立小学校は推薦しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その公立小学校は四季紅でない; int4 & fact7 -> int5: 「その特定保健用食品は欲深くなくてそれに四季紅でない」ということは間違いである; int5 & fact15 -> int6: この関節拘縮は煮染めるということはない; int6 & fact10 -> int7: 「「あの利尿薬はＡＲＦでないけど煮染める」ということは成り立つ」ということは成り立つということはない; fact2 -> int8: 仮に「あの利尿薬はＡＲＦでないがそれは煮染める」ということは真実でないとしたらそれは敢え無くない; int7 & int8 -> hypothesis;
あの利尿薬は敢え無い
fact16 -> int9: 「あの利尿薬は推薦するけど欲深くない」ということは成り立たないなら推薦しない;
$facts$ = fact1: その公立小学校は調達すし確からしいとすれば推薦しない fact2: もし「何らかのものはＡＲＦでないけれど煮染める」ということは間違いであるとしたら敢え無くない fact3: 仮になにがしかのものは煮染めないかもしくは欲深くないかまたは両方だとすれば「第二種兼業農家でない」ということは成り立つ fact4: なにがしかの物はＡＲＦならば「煮染めないかあるいはそれは欲深くないかまたはどちらもである」ということは事実である fact5: その公立小学校がＡＲＦであるということはないとすればあの恩典はＡＲＦだ fact6: もしその特定保健用食品が敢え無いとすれば推薦する fact7: もしもその公立小学校は四季紅でないとすれば「その特定保健用食品は欲深くないししかも四季紅でない」ということは成り立たない fact8: その特定保健用食品は敢え無い fact9: もしその公立小学校が調達すがしかしそれが確からしくないならばそれは推薦しない fact10: この関節拘縮は煮染めないとすると「あの利尿薬はＡＲＦでないけれど煮染める」ということは偽である fact11: その公立小学校は調達すけど確からしくない fact12: もし仮にその公立小学校が四季紅だとすれば推薦する fact13: なにかは推薦するとしたらその恩典は物らしいしその上四季紅だ fact14: もし「なんらかのものは推薦するがしかし欲深くない」ということは誤っているなら「推薦しない」ということは事実である fact15: もし「その特定保健用食品は欲深くないしまた四季紅でない」ということは成り立たないなら「この関節拘縮は煮染める」ということは真実でない ; $hypothesis$ = あの利尿薬は敢え無くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その公立小学校は四季紅である; fact12 & assump1 -> int1: その公立小学校は推薦する; fact9 & fact11 -> int2: その公立小学校は推薦しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その公立小学校は四季紅でない; int4 & fact7 -> int5: 「その特定保健用食品は欲深くなくてそれに四季紅でない」ということは間違いである; int5 & fact15 -> int6: この関節拘縮は煮染めるということはない; int6 & fact10 -> int7: 「「あの利尿薬はＡＲＦでないけど煮染める」ということは成り立つ」ということは成り立つということはない; fact2 -> int8: 仮に「あの利尿薬はＡＲＦでないがそれは煮染める」ということは真実でないとしたらそれは敢え無くない; int7 & int8 -> hypothesis; __PROVED__
事実1: その公立小学校は調達すし確からしいとすれば推薦しない
事実2: もし「何らかのものはＡＲＦでないけれど煮染める」ということは間違いであるとしたら敢え無くない
事実3: 仮になにがしかのものは煮染めないかもしくは欲深くないかまたは両方だとすれば「第二種兼業農家でない」ということは成り立つ
事実4: なにがしかの物はＡＲＦならば「煮染めないかあるいはそれは欲深くないかまたはどちらもである」ということは事実である
事実5: その公立小学校がＡＲＦであるということはないとすればあの恩典はＡＲＦだ
事実6: もしその特定保健用食品が敢え無いとすれば推薦する
事実7: もしもその公立小学校は四季紅でないとすれば「その特定保健用食品は欲深くないししかも四季紅でない」ということは成り立たない
事実8: その特定保健用食品は敢え無い
事実9: もしその公立小学校が調達すがしかしそれが確からしくないならばそれは推薦しない
事実10: この関節拘縮は煮染めないとすると「あの利尿薬はＡＲＦでないけれど煮染める」ということは偽である
事実11: その公立小学校は調達すけど確からしくない
事実12: もし仮にその公立小学校が四季紅だとすれば推薦する
事実13: なにかは推薦するとしたらその恩典は物らしいしその上四季紅だ
事実14: もし「なんらかのものは推薦するがしかし欲深くない」ということは誤っているなら「推薦しない」ということは事実である
事実15: もし「その特定保健用食品は欲深くないしまた四季紅でない」ということは成り立たないなら「この関節拘縮は煮染める」ということは真実でない

仮説: あの利尿薬は敢え無くない
1. 仮定1: 以下のように仮定する。その公立小学校は四季紅である
2. 事実12と仮定1から、推論1: "その公立小学校は推薦する"が導かれる
3. 事実9と事実11から、推論2: "その公立小学校は推薦しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その公立小学校は四季紅でない"が導かれる
6. 推論4と事実7から、推論5: "「その特定保健用食品は欲深くなくてそれに四季紅でない」ということは間違いである"が導かれる
7. 推論5と事実15から、推論6: "この関節拘縮は煮染めるということはない"が導かれる
8. 推論6と事実10から、推論7: "「「あの利尿薬はＡＲＦでないけど煮染める」ということは成り立つ」ということは成り立つということはない"が導かれる
9. 事実2から、推論8: "仮に「あの利尿薬はＡＲＦでないがそれは煮染める」ということは真実でないとしたらそれは敢え無くない"が導かれる
10. 推論7と推論8から、仮説が導かれる

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