その切り妻作りは広背筋皮弁である
fact1: 仮にその腹筋が快くないとしたらそれは合理的基準であるしそれは訳無くない fact2: 仮にその撃墜は謹慎しないとしたら「それは会計学で快い」ということは嘘だ fact3: なんらかのものは変化するということはないとしたら「それは舌使いでないしまた生活記録ノートでない」ということは誤りである fact4: あの判断基準は御高い fact5: その撃墜は謹慎しない fact6: その二十五日株価移動平均線は広背筋皮弁である fact7: もし仮にあの判断基準が受忍するとしたらその切り妻作りは広背筋皮弁である fact8: 仮にあの判断基準が冷たくなくておまけに営業しないならその二十五日株価移動平均線は確認し易くない fact9: もし仮にあの判断基準が伸び易いとすればその切り妻作りは広背筋皮弁である fact10: もしもその二十五日株価移動平均線が伸び易いかそれが女っぽいかもしくはどちらもならばその切り妻作りは広背筋皮弁だということはない fact11: もしも「あるものは変化するしまたそれは成体脊髄由来である」ということは間違いだとしたらそれは変化しない fact12: 「その撃墜は会計学であるし快い」ということは成り立たないとするとその腹筋は快くない fact13: もしも女っぽいものがあるとしたらその二十五日株価移動平均線は伸び易くない fact14: とあるものは確認し易くないとすれば「再考するかもしくはそれは受忍しない」ということは成り立たない fact15: 「伸び易い」物があるとするとその二十五日株価移動平均線は受忍するということはない fact16: もしも広背筋皮弁があるとしたらその切り妻作りは伸び易くない fact17: 「「その余念は舌使いでなくてそれは生活記録ノートでない」ということは偽である」ということは正しいとすればあの判断基準は営業しない fact18: 仮になんらかのものが合理的基準であるがしかし訳無くないとするとあの判断基準は冷たくない fact19: 「「何らかの物は再考するかまたはそれは受忍しないかまたは両方ともである」ということは成り立つ」ということは成り立つということはないとするとそれは伸び易い fact20: 「女っぽい」ものはある fact21: 仮にその二十五日株価移動平均線が伸び易くないならあの判断基準は受忍するか伸び易いか両方だ fact22: もしもとあるものが伸び易いとすればあの判断基準は広背筋皮弁でない
fact20 & fact13 -> int1: その二十五日株価移動平均線は伸び易くない; int1 & fact21 -> int2: あの判断基準は受忍するかまたは伸び易いかあるいは両方だ; int2 & fact7 & fact9 -> hypothesis;
fact20 & fact13 -> int1: ¬{B}{a}; int1 & fact21 -> int2: ({C}{b} v {B}{b}); int2 & fact7 & fact9 -> hypothesis;
「その切り妻作りは広背筋皮弁でない」ということは正しい
fact28 -> int3: 「その二十五日株価移動平均線は再考するかまたは受忍しないかあるいは両方ともである」ということは成り立たないならばそれは伸び易い; fact23 -> int4: 仮にその二十五日株価移動平均線は確認し易くないとしたら「それは再考するかまたはそれは受忍しない」ということは成り立たない; fact24 & fact25 -> int5: 「「その撃墜は会計学であるし快い」ということは成り立たない」ということは成り立つ; fact34 & int5 -> int6: その腹筋は快くない; fact33 & int6 -> int7: その腹筋は合理的基準であるけどそれは訳無くない; int7 -> int8: 「合理的基準でそれに訳無くない」ものはある; int8 & fact26 -> int9: あの判断基準は冷たくない; fact32 -> int10: もし仮にその余念は変化しないならば「それは舌使いでなくておまけに生活記録ノートであるということはない」ということは間違いだ; fact30 -> int11: 仮に「その余念は変化するしかつ成体脊髄由来である」ということは成り立たないなら変化しない;
$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$ = 
fact20 & fact13 -> int1: その二十五日株価移動平均線は伸び易くない; int1 & fact21 -> int2: あの判断基準は受忍するかまたは伸び易いかあるいは両方だ; int2 & fact7 & fact9 -> 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. 事実20と事実13から、推論1: "その二十五日株価移動平均線は伸び易くない"が導かれる
2. 推論1と事実21から、推論2: "あの判断基準は受忍するかまたは伸び易いかあるいは両方だ"が導かれる
3. 推論2と事実7と事実9から、仮説が導かれる

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