その戦争協力は自主規制団体でない
fact1: もしもその待機状態が誘発し易いし苦しみ出すならそのＨＫＥＹ＿ＬＯＣＡＬ＿マシンは苦しみ出さない fact2: もしも「この人情味は傾き易くない」ということは正しいとすれば誘発し易い fact3: この人情味が誘発し易いならその待機状態は誘発し易いということはない fact4: もしとあるものは旅客機でないなら「省略出来るし戦い取る」ということは成り立たない fact5: もしなんらかの物が省略出来ればそれは自主規制団体でない fact6: もしもその戦争協力が自主規制団体だということはないしその上それが省略出来ないならその図面上は省略出来ない fact7: もしもあのタブ位置が悪神ならこの人情味は傾き易いということはない fact8: もしも「平べったくない」物があればその待機状態は誘発し易いし加えて苦しみ出す fact9: もしもあの南側が旅客機でないとしたらその戦争協力は戦い取らない fact10: あの鮟鱇鍋は自主規制団体であるかたわいないかもしくは両方ともである fact11: 「「平べったいしその上傾き易いない」ということは成り立たない」物があればこの人情味は平べったくない fact12: その療育は戦い取る fact13: あのタブ位置は悪神でない fact14: もしもそのＨＫＥＹ＿ＬＯＣＡＬ＿マシンが誘発し易いとするとそれは苦しみ出す fact15: 仮に「その待機状態は誘発し易くない」ということは成り立つとするとそのＨＫＥＹ＿ＬＯＣＡＬ＿マシンは誘発し易い fact16: 再発し易いか水臭いものは由々しない fact17: 仮に「その戦争協力は省略出来る」ということは成り立てばそれは自主規制団体でない fact18: その戦争協力は戦い取る fact19: もし仮にあのタブ位置は悪神でないならば「それは平べったいが傾き易いということはない」ということは間違っている fact20: 仮にその戦争協力が下ろし易いとしたらそれは省略出来るということはない fact21: 仮になにがしかのものが省略出来るかそれが戦い取るとしたら自主規制団体でない fact22: 「あの国民は悪神である」ということは事実と異ならないとするとあのタブ位置は悪神だ
fact18 -> int1: その戦争協力は省略出来るかあるいは戦い取るかまたは両方である; fact21 -> int2: もしもその戦争協力が省略出来るかあるいはそれは戦い取るかあるいは両方であるとしたらそれは自主規制団体でない; int1 & int2 -> hypothesis;
fact18 -> int1: ({A}{a} v {B}{a}); fact21 -> int2: ({A}{a} v {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
その図面上は省略出来ない
fact27 & fact28 -> int3: 「あのタブ位置は平べったいけれど傾き易くない」ということは間違いである; int3 -> int4: 「「平べったいがしかし傾き易いということはない」ということは偽である」物はある; int4 & fact29 -> int5: この人情味は平べったいということはない; int5 -> int6: あるものは平べったくない; int6 & fact23 -> int7: その待機状態は誘発し易いし苦しみ出す; fact26 & int7 -> int8: そのＨＫＥＹ＿ＬＯＣＡＬ＿マシンは苦しみ出さない; int8 -> int9: 「苦しみ出さない」ものはある;
$facts$ = fact1: もしもその待機状態が誘発し易いし苦しみ出すならそのＨＫＥＹ＿ＬＯＣＡＬ＿マシンは苦しみ出さない fact2: もしも「この人情味は傾き易くない」ということは正しいとすれば誘発し易い fact3: この人情味が誘発し易いならその待機状態は誘発し易いということはない fact4: もしとあるものは旅客機でないなら「省略出来るし戦い取る」ということは成り立たない fact5: もしなんらかの物が省略出来ればそれは自主規制団体でない fact6: もしもその戦争協力が自主規制団体だということはないしその上それが省略出来ないならその図面上は省略出来ない fact7: もしもあのタブ位置が悪神ならこの人情味は傾き易いということはない fact8: もしも「平べったくない」物があればその待機状態は誘発し易いし加えて苦しみ出す fact9: もしもあの南側が旅客機でないとしたらその戦争協力は戦い取らない fact10: あの鮟鱇鍋は自主規制団体であるかたわいないかもしくは両方ともである fact11: 「「平べったいしその上傾き易いない」ということは成り立たない」物があればこの人情味は平べったくない fact12: その療育は戦い取る fact13: あのタブ位置は悪神でない fact14: もしもそのＨＫＥＹ＿ＬＯＣＡＬ＿マシンが誘発し易いとするとそれは苦しみ出す fact15: 仮に「その待機状態は誘発し易くない」ということは成り立つとするとそのＨＫＥＹ＿ＬＯＣＡＬ＿マシンは誘発し易い fact16: 再発し易いか水臭いものは由々しない fact17: 仮に「その戦争協力は省略出来る」ということは成り立てばそれは自主規制団体でない fact18: その戦争協力は戦い取る fact19: もし仮にあのタブ位置は悪神でないならば「それは平べったいが傾き易いということはない」ということは間違っている fact20: 仮にその戦争協力が下ろし易いとしたらそれは省略出来るということはない fact21: 仮になにがしかのものが省略出来るかそれが戦い取るとしたら自主規制団体でない fact22: 「あの国民は悪神である」ということは事実と異ならないとするとあのタブ位置は悪神だ ; $hypothesis$ = その戦争協力は自主規制団体でない ; $proof$ = 
fact18 -> int1: その戦争協力は省略出来るかあるいは戦い取るかまたは両方である; fact21 -> int2: もしもその戦争協力が省略出来るかあるいはそれは戦い取るかあるいは両方であるとしたらそれは自主規制団体でない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもその待機状態が誘発し易いし苦しみ出すならそのＨＫＥＹ＿ＬＯＣＡＬ＿マシンは苦しみ出さない
事実2: もしも「この人情味は傾き易くない」ということは正しいとすれば誘発し易い
事実3: この人情味が誘発し易いならその待機状態は誘発し易いということはない
事実4: もしとあるものは旅客機でないなら「省略出来るし戦い取る」ということは成り立たない
事実5: もしなんらかの物が省略出来ればそれは自主規制団体でない
事実6: もしもその戦争協力が自主規制団体だということはないしその上それが省略出来ないならその図面上は省略出来ない
事実7: もしもあのタブ位置が悪神ならこの人情味は傾き易いということはない
事実8: もしも「平べったくない」物があればその待機状態は誘発し易いし加えて苦しみ出す
事実9: もしもあの南側が旅客機でないとしたらその戦争協力は戦い取らない
事実10: あの鮟鱇鍋は自主規制団体であるかたわいないかもしくは両方ともである
事実11: 「「平べったいしその上傾き易いない」ということは成り立たない」物があればこの人情味は平べったくない
事実12: その療育は戦い取る
事実13: あのタブ位置は悪神でない
事実14: もしもそのＨＫＥＹ＿ＬＯＣＡＬ＿マシンが誘発し易いとするとそれは苦しみ出す
事実15: 仮に「その待機状態は誘発し易くない」ということは成り立つとするとそのＨＫＥＹ＿ＬＯＣＡＬ＿マシンは誘発し易い
事実16: 再発し易いか水臭いものは由々しない
事実17: 仮に「その戦争協力は省略出来る」ということは成り立てばそれは自主規制団体でない
事実18: その戦争協力は戦い取る
事実19: もし仮にあのタブ位置は悪神でないならば「それは平べったいが傾き易いということはない」ということは間違っている
事実20: 仮にその戦争協力が下ろし易いとしたらそれは省略出来るということはない
事実21: 仮になにがしかのものが省略出来るかそれが戦い取るとしたら自主規制団体でない
事実22: 「あの国民は悪神である」ということは事実と異ならないとするとあのタブ位置は悪神だ

仮説: その戦争協力は自主規制団体でない
1. 事実18から、推論1: "その戦争協力は省略出来るかあるいは戦い取るかまたは両方である"が導かれる
2. 事実21から、推論2: "もしもその戦争協力が省略出来るかあるいはそれは戦い取るかあるいは両方であるとしたらそれは自主規制団体でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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