この丹波国は手順通りだということはない
fact1: 「人口移動は掘り起こさなくてかつ百済王でない」ということは成り立つ fact2: あの転校・編入は死に目でない fact3: もしも何らかの物は黒っぽくないとすれば「開山であるしその上精神症状だ」ということは偽だ fact4: もしなんらかの物が掘り起こすということはないし更に百済王でないとすると手順通りである fact5: もしも「あの皆の衆は黒っぽいがそれは任さない」ということは成り立たないとすればその蚊取り線香は黒っぽくない fact6: もし仮にあの転校・編入は死に目である一方で経論だということはないならば掘り起こす fact7: あの転校・編入は死に目でなくて経論でない fact8: 仮にあの転校・編入が口煩くないとするとこの丹波国は人口移動だししかも掘り起こす fact9: もし仮にこの社会的入院が微寒でないならあの情報基盤は自己認識する fact10: もし仮にとある物は精神症状でないとしたらそれは人口移動だし加えて口煩い fact11: 「この社会的入院は微寒であるしおまけに有権である」ということは成り立たない fact12: 「この寄港地は崇めない」ということは成り立つとするとそれは聞き給うし任す fact13: あの転校・編入が掘り起こせばこの丹波国は手順通りである fact14: この寄港地は崇めない fact15: 予測し易いものは百済王だ fact16: もし仮に「手順通りである」ものがあるとすればこの氷壁は住み良いということはないし豊田ウェイでない fact17: 仮に百済王が掘り起こすならそれは手順通りでない fact18: もし「この社会的入院は微寒であるしかつ有権である」ということは成り立つということはないとするとそれは微寒でない fact19: 「あの情報基盤は自己認識する」ということは成り立つなら「この丹波国は香ばしいけど歌い始めるということはない」ということは成り立たない fact20: もしあの転校・編入は死に目でなくてまた経論でないならばそれは掘り起こす fact21: もし「なにかは香ばしいがしかし歌い始めない」ということは事実でないならそれは予測し易い fact22: もし仮に「任す」物はあるなら「あの皆の衆は黒っぽいがしかし任さない」ということは間違っている
fact20 & fact7 -> int1: あの転校・編入は掘り起こす; int1 & fact13 -> hypothesis;
この丹波国は手順通りでない
fact24 -> int2: もしこの丹波国は百済王であるし掘り起こすとすれば手順通りでない; fact25 -> int3: もし仮にこの丹波国が予測し易いとしたらそれは百済王だ; fact29 -> int4: 仮に「この丹波国は香ばしいがしかし歌い始めない」ということは間違っているならそれは予測し易い; fact31 & fact26 -> int5: この社会的入院は微寒だということはない; fact27 & int5 -> int6: あの情報基盤は自己認識する; fact32 & int6 -> int7: 「この丹波国は香ばしいけれどそれは歌い始めない」ということは成り立つということはない; int4 & int7 -> int8: 「この丹波国は予測し易い」ということは成り立つ; int3 & int8 -> int9: この丹波国は百済王である; fact28 -> int10: もし仮にその蚊取り線香は黒っぽくないとしたら「開山であるししかも精神症状である」ということは本当でない; fact33 & fact30 -> int11: この寄港地は聞き給うし加えて任す; int11 -> int12: この寄港地は任す; int12 -> int13: 「任す」ものはある; int13 & fact34 -> int14: 「あの皆の衆は黒っぽい一方で任さない」ということは偽である; fact35 & int14 -> int15: 「その蚊取り線香は黒っぽくない」ということは事実と異ならない; int10 & int15 -> int16: 「その蚊取り線香は開山だし更に精神症状である」ということは成り立たない; int16 -> int17: 「「開山で精神症状だ」ということは誤っている」物はある;
$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 & fact7 -> int1: あの転校・編入は掘り起こす; int1 & fact13 -> hypothesis; __DISPROVED__
事実1: 「人口移動は掘り起こさなくてかつ百済王でない」ということは成り立つ
事実2: あの転校・編入は死に目でない
事実3: もしも何らかの物は黒っぽくないとすれば「開山であるしその上精神症状だ」ということは偽だ
事実4: もしなんらかの物が掘り起こすということはないし更に百済王でないとすると手順通りである
事実5: もしも「あの皆の衆は黒っぽいがそれは任さない」ということは成り立たないとすればその蚊取り線香は黒っぽくない
事実6: もし仮にあの転校・編入は死に目である一方で経論だということはないならば掘り起こす
事実7: あの転校・編入は死に目でなくて経論でない
事実8: 仮にあの転校・編入が口煩くないとするとこの丹波国は人口移動だししかも掘り起こす
事実9: もし仮にこの社会的入院が微寒でないならあの情報基盤は自己認識する
事実10: もし仮にとある物は精神症状でないとしたらそれは人口移動だし加えて口煩い
事実11: 「この社会的入院は微寒であるしおまけに有権である」ということは成り立たない
事実12: 「この寄港地は崇めない」ということは成り立つとするとそれは聞き給うし任す
事実13: あの転校・編入が掘り起こせばこの丹波国は手順通りである
事実14: この寄港地は崇めない
事実15: 予測し易いものは百済王だ
事実16: もし仮に「手順通りである」ものがあるとすればこの氷壁は住み良いということはないし豊田ウェイでない
事実17: 仮に百済王が掘り起こすならそれは手順通りでない
事実18: もし「この社会的入院は微寒であるしかつ有権である」ということは成り立つということはないとするとそれは微寒でない
事実19: 「あの情報基盤は自己認識する」ということは成り立つなら「この丹波国は香ばしいけど歌い始めるということはない」ということは成り立たない
事実20: もしあの転校・編入は死に目でなくてまた経論でないならばそれは掘り起こす
事実21: もし「なにかは香ばしいがしかし歌い始めない」ということは事実でないならそれは予測し易い
事実22: もし仮に「任す」物はあるなら「あの皆の衆は黒っぽいがしかし任さない」ということは間違っている

仮説: この丹波国は手順通りだということはない
1. 事実20と事実7から、推論1: "あの転校・編入は掘り起こす"が導かれる
2. 推論1と事実13から、仮説が否定される

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