「「仮に「考え辛くて扱えない」ということは成り立たないなら切り離し難くない」ものはある」ということは成り立たない
fact1: もしこの跨線橋は考え辛いがしかし扱えないなら切り離し難くない fact2: 仮に「「この葬式仏教は切り離し難いけど二転三転しない」ということは成り立たない」ということは確かならばそれは伝え易い fact3: もしも「何かは考え辛いけどそれは扱えない」ということは誤りなら切り離し難くない fact4: もし仮に「このＡＤＲは水臭いが切り離し難くない」ということは成り立たないとすれば「怖いということはない」ということは事実である fact5: 考え辛い物が扱えないとするとそれは切り離し難くない fact6: もしも「この跨線橋は成り行くけど扱えない」ということは事実と異なれば小姓組番頭でない fact7: もしもこの跨線橋が扱えればそれは切り離し難くない fact8: 「もし「防水するし選択し易い」ということは成り立たないならば賃借人だということはない」ものはある fact9: 「もしも考え辛くないならば切り離し難くない」物はある fact10: もし「「この跨線橋は付き難いけれど督促手数料でない」ということは間違っている」ということは確かならば考え辛い fact11: 「扱えるとすれば切り離し難くない」物はある fact12: 「もしも「空想するけれど嫁がない」ということは事実と異なるとするとぐらつくということはない」ものはある
fact3 -> int1: もし仮に「「この跨線橋は考え辛いが扱えない」ということは成り立たない」ということは確かならばそれは切り離し難くない; int1 -> hypothesis;
$facts$ = fact1: もしこの跨線橋は考え辛いがしかし扱えないなら切り離し難くない fact2: 仮に「「この葬式仏教は切り離し難いけど二転三転しない」ということは成り立たない」ということは確かならばそれは伝え易い fact3: もしも「何かは考え辛いけどそれは扱えない」ということは誤りなら切り離し難くない fact4: もし仮に「このＡＤＲは水臭いが切り離し難くない」ということは成り立たないとすれば「怖いということはない」ということは事実である fact5: 考え辛い物が扱えないとするとそれは切り離し難くない fact6: もしも「この跨線橋は成り行くけど扱えない」ということは事実と異なれば小姓組番頭でない fact7: もしもこの跨線橋が扱えればそれは切り離し難くない fact8: 「もし「防水するし選択し易い」ということは成り立たないならば賃借人だということはない」ものはある fact9: 「もしも考え辛くないならば切り離し難くない」物はある fact10: もし「「この跨線橋は付き難いけれど督促手数料でない」ということは間違っている」ということは確かならば考え辛い fact11: 「扱えるとすれば切り離し難くない」物はある fact12: 「もしも「空想するけれど嫁がない」ということは事実と異なるとするとぐらつくということはない」ものはある ; $hypothesis$ = 「「仮に「考え辛くて扱えない」ということは成り立たないなら切り離し難くない」ものはある」ということは成り立たない ; $proof$ = 
fact3 -> int1: もし仮に「「この跨線橋は考え辛いが扱えない」ということは成り立たない」ということは確かならばそれは切り離し難くない; int1 -> hypothesis; __DISPROVED__
事実1: もしこの跨線橋は考え辛いがしかし扱えないなら切り離し難くない
事実2: 仮に「「この葬式仏教は切り離し難いけど二転三転しない」ということは成り立たない」ということは確かならばそれは伝え易い
事実3: もしも「何かは考え辛いけどそれは扱えない」ということは誤りなら切り離し難くない
事実4: もし仮に「このＡＤＲは水臭いが切り離し難くない」ということは成り立たないとすれば「怖いということはない」ということは事実である
事実5: 考え辛い物が扱えないとするとそれは切り離し難くない
事実6: もしも「この跨線橋は成り行くけど扱えない」ということは事実と異なれば小姓組番頭でない
事実7: もしもこの跨線橋が扱えればそれは切り離し難くない
事実8: 「もし「防水するし選択し易い」ということは成り立たないならば賃借人だということはない」ものはある
事実9: 「もしも考え辛くないならば切り離し難くない」物はある
事実10: もし「「この跨線橋は付き難いけれど督促手数料でない」ということは間違っている」ということは確かならば考え辛い
事実11: 「扱えるとすれば切り離し難くない」物はある
事実12: 「もしも「空想するけれど嫁がない」ということは事実と異なるとするとぐらつくということはない」ものはある

仮説: 「「仮に「考え辛くて扱えない」ということは成り立たないなら切り離し難くない」ものはある」ということは成り立たない
1. 事実3から、推論1: "もし仮に「「この跨線橋は考え辛いが扱えない」ということは成り立たない」ということは確かならばそれは切り離し難くない"が導かれる
2. 推論1から、仮説が否定される

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