あの二十代初めは心掛けるということはない
fact1: もしその雌牛が統廃合でないし加えてそれが襲名するということはないとすればあの北部は襲名するということはない fact2: この微粉炭多量は集落跡でない fact3: もしも「なんらかのものは夫婦家族制でないがそれは燃え易い」ということは偽だとするとそれは燃え易くない fact4: もしも何かは集落跡でなくて眩いということはないとするとあの北部は経口感染するということはない fact5: この微粉炭多量が燃え易くないとするとあの二十代初めが経口感染するしその上それは心掛ける fact6: 何かは集落跡だけれど眩くない fact7: もしもあの二十代初めが心掛けるとすればこの微粉炭多量は集落跡でなくて眩くない fact8: 仮に「あの北部は燃え易い」ということは正しいとしたらこの微粉炭多量は燃え易くない fact9: 「あの北部は夫婦家族制でない一方で燃え易い」ということは成り立つということはない fact10: もし仮にあるものが科学的合理主義でないとすればそれはまあるい fact11: もしもなんらかのものが襲名しないとしたら夫婦家族制だし更にナチュラルだ fact12: もし仮に何らかの物は夫婦家族制であるとしたら燃え易い fact13: 何らかのものが燃え易くないならばそれは経口感染する fact14: あの二十代初めは刺入部位でない
void -> assump1: 以下のように仮定する。あの二十代初めは心掛ける; fact7 & assump1 -> int1: この微粉炭多量は集落跡でないしそれに眩くない; int1 -> int2: とあるものは集落跡でなくてそれに眩くない; int2 & fact4 -> int3: あの北部は経口感染しない; fact13 -> int4: もし仮にあの北部が燃え易くないなら経口感染する; fact3 -> int5: 「あの北部は夫婦家族制でないがしかし燃え易い」ということは成り立たないならそれは燃え易くない; fact9 & int5 -> int6: あの北部は燃え易くない; int4 & int6 -> int7: 「あの北部は経口感染する」ということは事実だ; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
あの二十代初めは心掛ける
fact17 -> int9: あの北部は夫婦家族制であるならそれは燃え易い; fact19 -> int10: もしあの北部が襲名するということはないならば夫婦家族制でまたそれはナチュラルだ;
$facts$ = fact1: もしその雌牛が統廃合でないし加えてそれが襲名するということはないとすればあの北部は襲名するということはない fact2: この微粉炭多量は集落跡でない fact3: もしも「なんらかのものは夫婦家族制でないがそれは燃え易い」ということは偽だとするとそれは燃え易くない fact4: もしも何かは集落跡でなくて眩いということはないとするとあの北部は経口感染するということはない fact5: この微粉炭多量が燃え易くないとするとあの二十代初めが経口感染するしその上それは心掛ける fact6: 何かは集落跡だけれど眩くない fact7: もしもあの二十代初めが心掛けるとすればこの微粉炭多量は集落跡でなくて眩くない fact8: 仮に「あの北部は燃え易い」ということは正しいとしたらこの微粉炭多量は燃え易くない fact9: 「あの北部は夫婦家族制でない一方で燃え易い」ということは成り立つということはない fact10: もし仮にあるものが科学的合理主義でないとすればそれはまあるい fact11: もしもなんらかのものが襲名しないとしたら夫婦家族制だし更にナチュラルだ fact12: もし仮に何らかの物は夫婦家族制であるとしたら燃え易い fact13: 何らかのものが燃え易くないならばそれは経口感染する fact14: あの二十代初めは刺入部位でない ; $hypothesis$ = あの二十代初めは心掛けるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの二十代初めは心掛ける; fact7 & assump1 -> int1: この微粉炭多量は集落跡でないしそれに眩くない; int1 -> int2: とあるものは集落跡でなくてそれに眩くない; int2 & fact4 -> int3: あの北部は経口感染しない; fact13 -> int4: もし仮にあの北部が燃え易くないなら経口感染する; fact3 -> int5: 「あの北部は夫婦家族制でないがしかし燃え易い」ということは成り立たないならそれは燃え易くない; fact9 & int5 -> int6: あの北部は燃え易くない; int4 & int6 -> int7: 「あの北部は経口感染する」ということは事実だ; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: もしその雌牛が統廃合でないし加えてそれが襲名するということはないとすればあの北部は襲名するということはない
事実2: この微粉炭多量は集落跡でない
事実3: もしも「なんらかのものは夫婦家族制でないがそれは燃え易い」ということは偽だとするとそれは燃え易くない
事実4: もしも何かは集落跡でなくて眩いということはないとするとあの北部は経口感染するということはない
事実5: この微粉炭多量が燃え易くないとするとあの二十代初めが経口感染するしその上それは心掛ける
事実6: 何かは集落跡だけれど眩くない
事実7: もしもあの二十代初めが心掛けるとすればこの微粉炭多量は集落跡でなくて眩くない
事実8: 仮に「あの北部は燃え易い」ということは正しいとしたらこの微粉炭多量は燃え易くない
事実9: 「あの北部は夫婦家族制でない一方で燃え易い」ということは成り立つということはない
事実10: もし仮にあるものが科学的合理主義でないとすればそれはまあるい
事実11: もしもなんらかのものが襲名しないとしたら夫婦家族制だし更にナチュラルだ
事実12: もし仮に何らかの物は夫婦家族制であるとしたら燃え易い
事実13: 何らかのものが燃え易くないならばそれは経口感染する
事実14: あの二十代初めは刺入部位でない

仮説: あの二十代初めは心掛けるということはない
1. 仮定1: 以下のように仮定する。あの二十代初めは心掛ける
2. 事実7と仮定1から、推論1: "この微粉炭多量は集落跡でないしそれに眩くない"が導かれる
3. 推論1から、推論2: "とあるものは集落跡でなくてそれに眩くない"が導かれる
4. 推論2と事実4から、推論3: "あの北部は経口感染しない"が導かれる
5. 事実13から、推論4: "もし仮にあの北部が燃え易くないなら経口感染する"が導かれる
6. 事実3から、推論5: "「あの北部は夫婦家族制でないがしかし燃え易い」ということは成り立たないならそれは燃え易くない"が導かれる
7. 事実9と推論5から、推論6: "あの北部は燃え易くない"が導かれる
8. 推論4と推論6から、推論7: "「あの北部は経口感染する」ということは事実だ"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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