この大鎌は薙ぎ払わない
fact1: もしその御家が狡っ辛くないならあの軌跡は胚芽米だということはない fact2: 「なにがしかのものは閉じ籠もるが胚芽米でない」ということは成り立たないならそれは胚芽米だ fact3: もしその御家は湿気易い一方で如何わしくないなら「その雇用保険率は名護市民だ」ということは正しい fact4: とあるものは維持し続けないがしかし人間らしい fact5: あるものが閉じ籠もらなくておまけに狡っ辛くないならばあの生元素は比較し難くない fact6: 「ほっそりするし御通ずるということはない」物はある fact7: その御家が胚芽米でないとするとあの軌跡は閉じ籠もらないしそれに狡っ辛くない fact8: 「「比較し難い」ということは成り立つ」物はある fact9: 比較し難くないものはある fact10: もしもあの軌跡が狡っ辛いならば薙ぎ払わない fact11: 「「薙ぎ払わない」ということは確かな」ものはある fact12: その御家が胚芽米であるということはないならばあの軌跡は狡っ辛くない fact13: 仮に「ある物は湿気易いけど如何わしくない」ということは間違っているとするとそれは胚芽米でない fact14: 仮にあるものがほっそりするが御通ぜないならばあの雇用保険率は名護市民でない fact15: その雇用保険率はほっそりしない fact16: この大鎌は閉じ籠もらない fact17: 胚芽米は比較し難くないしその上凄まじくない fact18: 比較し難いということはない胚芽米はある fact19: 「撃墜するということはない」物はある fact20: 「あの民主的社会はほっそりしない」ということは正しい fact21: その生元素が比較し難くないならこの大鎌は薙ぎ払わない fact22: もし仮に「「あの軌跡は如何わしい一方でそれは閉じ籠もらない」ということは正しい」ということは成り立たないならばそれは名護市民でない fact23: 「名護市民でない」物はある fact24: この大鎌はほっそりするということはない fact25: 仮にその御家が狡っ辛くないとすればあの軌跡は胚芽米であるということはないし閉じ籠もるということはない fact26: 「この大鎌は薙ぎ払わない」ということは成り立たないとしたらそれは名護市民でない
void -> assump1: 以下のように仮定する。その御家は湿気易いけど如何わしいということはない; fact3 & assump1 -> int1: その雇用保険率は名護市民だ; fact14 & fact6 -> int2: 「その雇用保険率は名護市民でない」ということは確かだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「その御家は湿気易いけれど如何わしくない」ということは正しくない」ということは成り立つ; fact13 -> int5: 仮に「その御家は湿気易いが如何わしくない」ということは成り立たないなら胚芽米でない; int4 & int5 -> int6: その御家は胚芽米でない; int6 & fact7 -> int7: あの軌跡は閉じ籠もるということはなくておまけに狡っ辛くない; int7 -> int8: 「「閉じ籠もらないし狡っ辛くない」ものはある」ということは正しい; int8 & fact5 -> int9: その生元素は比較し難くない; int9 & fact21 -> hypothesis;
その御家は比較し難くないしそれは凄まじくない
fact27 -> int10: もしその御家は胚芽米であるとすれば比較し難くないし加えて凄まじくない; fact28 -> int11: 「その御家は閉じ籠もる一方で胚芽米でない」ということは間違っているとしたらそれは胚芽米である;
$facts$ = fact1: もしその御家が狡っ辛くないならあの軌跡は胚芽米だということはない fact2: 「なにがしかのものは閉じ籠もるが胚芽米でない」ということは成り立たないならそれは胚芽米だ fact3: もしその御家は湿気易い一方で如何わしくないなら「その雇用保険率は名護市民だ」ということは正しい fact4: とあるものは維持し続けないがしかし人間らしい fact5: あるものが閉じ籠もらなくておまけに狡っ辛くないならばあの生元素は比較し難くない fact6: 「ほっそりするし御通ずるということはない」物はある fact7: その御家が胚芽米でないとするとあの軌跡は閉じ籠もらないしそれに狡っ辛くない fact8: 「「比較し難い」ということは成り立つ」物はある fact9: 比較し難くないものはある fact10: もしもあの軌跡が狡っ辛いならば薙ぎ払わない fact11: 「「薙ぎ払わない」ということは確かな」ものはある fact12: その御家が胚芽米であるということはないならばあの軌跡は狡っ辛くない fact13: 仮に「ある物は湿気易いけど如何わしくない」ということは間違っているとするとそれは胚芽米でない fact14: 仮にあるものがほっそりするが御通ぜないならばあの雇用保険率は名護市民でない fact15: その雇用保険率はほっそりしない fact16: この大鎌は閉じ籠もらない fact17: 胚芽米は比較し難くないしその上凄まじくない fact18: 比較し難いということはない胚芽米はある fact19: 「撃墜するということはない」物はある fact20: 「あの民主的社会はほっそりしない」ということは正しい fact21: その生元素が比較し難くないならこの大鎌は薙ぎ払わない fact22: もし仮に「「あの軌跡は如何わしい一方でそれは閉じ籠もらない」ということは正しい」ということは成り立たないならばそれは名護市民でない fact23: 「名護市民でない」物はある fact24: この大鎌はほっそりするということはない fact25: 仮にその御家が狡っ辛くないとすればあの軌跡は胚芽米であるということはないし閉じ籠もるということはない fact26: 「この大鎌は薙ぎ払わない」ということは成り立たないとしたらそれは名護市民でない ; $hypothesis$ = この大鎌は薙ぎ払わない ; $proof$ = 
void -> assump1: 以下のように仮定する。その御家は湿気易いけど如何わしいということはない; fact3 & assump1 -> int1: その雇用保険率は名護市民だ; fact14 & fact6 -> int2: 「その雇用保険率は名護市民でない」ということは確かだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「その御家は湿気易いけれど如何わしくない」ということは正しくない」ということは成り立つ; fact13 -> int5: 仮に「その御家は湿気易いが如何わしくない」ということは成り立たないなら胚芽米でない; int4 & int5 -> int6: その御家は胚芽米でない; int6 & fact7 -> int7: あの軌跡は閉じ籠もるということはなくておまけに狡っ辛くない; int7 -> int8: 「「閉じ籠もらないし狡っ辛くない」ものはある」ということは正しい; int8 & fact5 -> int9: その生元素は比較し難くない; int9 & fact21 -> hypothesis; __PROVED__
事実1: もしその御家が狡っ辛くないならあの軌跡は胚芽米だということはない
事実2: 「なにがしかのものは閉じ籠もるが胚芽米でない」ということは成り立たないならそれは胚芽米だ
事実3: もしその御家は湿気易い一方で如何わしくないなら「その雇用保険率は名護市民だ」ということは正しい
事実4: とあるものは維持し続けないがしかし人間らしい
事実5: あるものが閉じ籠もらなくておまけに狡っ辛くないならばあの生元素は比較し難くない
事実6: 「ほっそりするし御通ずるということはない」物はある
事実7: その御家が胚芽米でないとするとあの軌跡は閉じ籠もらないしそれに狡っ辛くない
事実8: 「「比較し難い」ということは成り立つ」物はある
事実9: 比較し難くないものはある
事実10: もしもあの軌跡が狡っ辛いならば薙ぎ払わない
事実11: 「「薙ぎ払わない」ということは確かな」ものはある
事実12: その御家が胚芽米であるということはないならばあの軌跡は狡っ辛くない
事実13: 仮に「ある物は湿気易いけど如何わしくない」ということは間違っているとするとそれは胚芽米でない
事実14: 仮にあるものがほっそりするが御通ぜないならばあの雇用保険率は名護市民でない
事実15: その雇用保険率はほっそりしない
事実16: この大鎌は閉じ籠もらない
事実17: 胚芽米は比較し難くないしその上凄まじくない
事実18: 比較し難いということはない胚芽米はある
事実19: 「撃墜するということはない」物はある
事実20: 「あの民主的社会はほっそりしない」ということは正しい
事実21: その生元素が比較し難くないならこの大鎌は薙ぎ払わない
事実22: もし仮に「「あの軌跡は如何わしい一方でそれは閉じ籠もらない」ということは正しい」ということは成り立たないならばそれは名護市民でない
事実23: 「名護市民でない」物はある
事実24: この大鎌はほっそりするということはない
事実25: 仮にその御家が狡っ辛くないとすればあの軌跡は胚芽米であるということはないし閉じ籠もるということはない
事実26: 「この大鎌は薙ぎ払わない」ということは成り立たないとしたらそれは名護市民でない

仮説: この大鎌は薙ぎ払わない
1. 仮定1: 以下のように仮定する。その御家は湿気易いけど如何わしいということはない
2. 事実3と仮定1から、推論1: "その雇用保険率は名護市民だ"が導かれる
3. 事実14と事実6から、推論2: "「その雇用保険率は名護市民でない」ということは確かだ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「「その御家は湿気易いけれど如何わしくない」ということは正しくない」ということは成り立つ"が導かれる
6. 事実13から、推論5: "仮に「その御家は湿気易いが如何わしくない」ということは成り立たないなら胚芽米でない"が導かれる
7. 推論4と推論5から、推論6: "その御家は胚芽米でない"が導かれる
8. 推論6と事実7から、推論7: "あの軌跡は閉じ籠もるということはなくておまけに狡っ辛くない"が導かれる
9. 推論7から、推論8: "「「閉じ籠もらないし狡っ辛くない」ものはある」ということは正しい"が導かれる
10. 推論8と事実5から、推論9: "その生元素は比較し難くない"が導かれる
11. 推論9と事実21から、仮説が導かれる

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