「あの食養は拘置するが止めど無くない」ということは誤っている
fact1: もし「とあるものは平伏しなくて更に止めど無くない」ということは誤っているとすると「仰せ給う」ということは成り立つ fact2: あの食養は使用し易い fact3: あの食養はまめ知識でないしかつ係属部でない fact4: この脚ブロックは仰せ給わない fact5: そのブランド戦略は止めど無いけど動作化するということはない fact6: あの食養は拘置する fact7: あのイタリア民法は拘置する fact8: あの食養は仰せ給わない fact9: あの食養は確約である
fact1 -> int1: もしも「あの食養は平伏しないしかつ止めど無くない」ということは成り立つということはないとすると仰せ給う; void -> assump1: 以下のように仮定する。「あの食養は平伏しなくて止めど無くない」ということは成り立たない; int1 & assump1 -> int2: あの食養は仰せ給う; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの食養は平伏しなくてしかも止めど無くない; int4 -> int5: あの食養は止めど無くない; int5 & fact6 -> hypothesis;
$facts$ = fact1: もし「とあるものは平伏しなくて更に止めど無くない」ということは誤っているとすると「仰せ給う」ということは成り立つ fact2: あの食養は使用し易い fact3: あの食養はまめ知識でないしかつ係属部でない fact4: この脚ブロックは仰せ給わない fact5: そのブランド戦略は止めど無いけど動作化するということはない fact6: あの食養は拘置する fact7: あのイタリア民法は拘置する fact8: あの食養は仰せ給わない fact9: あの食養は確約である ; $hypothesis$ = 「あの食養は拘置するが止めど無くない」ということは誤っている ; $proof$ = 
fact1 -> int1: もしも「あの食養は平伏しないしかつ止めど無くない」ということは成り立つということはないとすると仰せ給う; void -> assump1: 以下のように仮定する。「あの食養は平伏しなくて止めど無くない」ということは成り立たない; int1 & assump1 -> int2: あの食養は仰せ給う; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの食養は平伏しなくてしかも止めど無くない; int4 -> int5: あの食養は止めど無くない; int5 & fact6 -> hypothesis; __DISPROVED__
事実1: もし「とあるものは平伏しなくて更に止めど無くない」ということは誤っているとすると「仰せ給う」ということは成り立つ
事実2: あの食養は使用し易い
事実3: あの食養はまめ知識でないしかつ係属部でない
事実4: この脚ブロックは仰せ給わない
事実5: そのブランド戦略は止めど無いけど動作化するということはない
事実6: あの食養は拘置する
事実7: あのイタリア民法は拘置する
事実8: あの食養は仰せ給わない
事実9: あの食養は確約である

仮説: 「あの食養は拘置するが止めど無くない」ということは誤っている
1. 事実1から、推論1: "もしも「あの食養は平伏しないしかつ止めど無くない」ということは成り立つということはないとすると仰せ給う"が導かれる
2. 仮定1: 以下のように仮定する。「あの食養は平伏しなくて止めど無くない」ということは成り立たない
3. 推論1と仮定1から、推論2: "あの食養は仰せ給う"が導かれる
4. 推論2と事実8から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの食養は平伏しなくてしかも止めど無くない"が導かれる
6. 推論4から、推論5: "あの食養は止めど無くない"が導かれる
7. 推論5と事実6から、仮説が否定される

よって、仮説が否定されました。