「その二十六参照は忌ま忌ましいけどそれは早合点しない」ということは事実でない
fact1: もし仮に「実施出来ないかあるいは早合点しないかあるいは両方ともである」ものはあるとすれば「その二十六参照は領主貸しでない」ということは事実である fact2: もし仮になにがしかのものが付くとすればそれは忌ま忌ましいし早合点しない fact3: 「あのトレーサは躙り寄らない」ということは確かである fact4: 「その二十六参照が付かないしそれは躙り寄らない」ということは成り立たない fact5: とあるものは各種でないならば「それは実施出来るしおまけに領主貸しだ」ということは間違っている fact6: その二十六参照は哀れっぽい fact7: もし仮にあの社会保険診療報酬が烏滸がましいとすると領主貸しであるし集め易くない fact8: 「この素粒子は躙り寄らない」ということは確かである fact9: もし仮にその二十六参照は実施出来るとすると「意見交換でないしさらに付かない」ということは間違いである fact10: 仮になにかは合併特例債でないとすると意見交換でない fact11: あの補給部隊は領主貸しだということはないかあるいは各種でないか両方である fact12: もし何らかのものが粉飾すればそれが選手等だししかもそれは地下深くない fact13: 仮に「躙り寄らないかまたは意見交換でないかもしくはどちらもな」ものはあるとすれば「あのトレーサは付かない」ということは成り立つ fact14: 仮にあのトレーサが躙り寄らないとするとその二十六参照は実施出来るししかも確定す fact15: 「月経周期であるということはないかあるいは手広いということはないかあるいは両方である」ものはある fact16: もし仮に「あのトレーサは実施出来ない」ということは事実であるならばその二十六参照は躙り寄る fact17: 何かは実施出来ないかもしくは合併特例債でないかもしくは両方ともである fact18: 「「領主貸しでないか各種でないかもしくは両方だ」ということは事実である」ものがあるならその二十六参照は合併特例債でない fact19: もし仮にあのトレーサが各種だがしかし合併特例債でないとするとその二十六参照は領主貸しでない fact20: 仮に「欄名無しでない」物があればその二十六参照は早合点しない fact21: あの補給部隊は秋めくということはない
fact11 -> int1: なにがしかの物は領主貸しだということはないかそれは各種でないかまたは両方ともである; int1 & fact18 -> int2: その二十六参照は合併特例債でない; fact10 -> int3: その二十六参照は合併特例債でないとしたら「意見交換でない」ということは本当である; int2 & int3 -> int4: その二十六参照は意見交換でない; void -> assump1: 以下のように仮定する。その二十六参照は付かない; int4 & assump1 -> int5: その二十六参照は意見交換でないしさらにそれは付かない; fact14 & fact3 -> int6: その二十六参照は実施出来るしそれは確定す; int6 -> int7: 「その二十六参照は実施出来る」ということは正しい; int7 & fact9 -> int8: 「その二十六参照は意見交換だということはなくておまけにそれは付くということはない」ということは事実と異なる; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その二十六参照は付く; fact2 -> int11: 仮にその二十六参照が付けば忌ま忌ましいし早合点しない; int10 & int11 -> hypothesis;
「その二十六参照は忌ま忌ましい一方でそれは早合点しない」ということは間違いである
$facts$ = fact1: もし仮に「実施出来ないかあるいは早合点しないかあるいは両方ともである」ものはあるとすれば「その二十六参照は領主貸しでない」ということは事実である fact2: もし仮になにがしかのものが付くとすればそれは忌ま忌ましいし早合点しない fact3: 「あのトレーサは躙り寄らない」ということは確かである fact4: 「その二十六参照が付かないしそれは躙り寄らない」ということは成り立たない fact5: とあるものは各種でないならば「それは実施出来るしおまけに領主貸しだ」ということは間違っている fact6: その二十六参照は哀れっぽい fact7: もし仮にあの社会保険診療報酬が烏滸がましいとすると領主貸しであるし集め易くない fact8: 「この素粒子は躙り寄らない」ということは確かである fact9: もし仮にその二十六参照は実施出来るとすると「意見交換でないしさらに付かない」ということは間違いである fact10: 仮になにかは合併特例債でないとすると意見交換でない fact11: あの補給部隊は領主貸しだということはないかあるいは各種でないか両方である fact12: もし何らかのものが粉飾すればそれが選手等だししかもそれは地下深くない fact13: 仮に「躙り寄らないかまたは意見交換でないかもしくはどちらもな」ものはあるとすれば「あのトレーサは付かない」ということは成り立つ fact14: 仮にあのトレーサが躙り寄らないとするとその二十六参照は実施出来るししかも確定す fact15: 「月経周期であるということはないかあるいは手広いということはないかあるいは両方である」ものはある fact16: もし仮に「あのトレーサは実施出来ない」ということは事実であるならばその二十六参照は躙り寄る fact17: 何かは実施出来ないかもしくは合併特例債でないかもしくは両方ともである fact18: 「「領主貸しでないか各種でないかもしくは両方だ」ということは事実である」ものがあるならその二十六参照は合併特例債でない fact19: もし仮にあのトレーサが各種だがしかし合併特例債でないとするとその二十六参照は領主貸しでない fact20: 仮に「欄名無しでない」物があればその二十六参照は早合点しない fact21: あの補給部隊は秋めくということはない ; $hypothesis$ = 「その二十六参照は忌ま忌ましいけどそれは早合点しない」ということは事実でない ; $proof$ = 
fact11 -> int1: なにがしかの物は領主貸しだということはないかそれは各種でないかまたは両方ともである; int1 & fact18 -> int2: その二十六参照は合併特例債でない; fact10 -> int3: その二十六参照は合併特例債でないとしたら「意見交換でない」ということは本当である; int2 & int3 -> int4: その二十六参照は意見交換でない; void -> assump1: 以下のように仮定する。その二十六参照は付かない; int4 & assump1 -> int5: その二十六参照は意見交換でないしさらにそれは付かない; fact14 & fact3 -> int6: その二十六参照は実施出来るしそれは確定す; int6 -> int7: 「その二十六参照は実施出来る」ということは正しい; int7 & fact9 -> int8: 「その二十六参照は意見交換だということはなくておまけにそれは付くということはない」ということは事実と異なる; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その二十六参照は付く; fact2 -> int11: 仮にその二十六参照が付けば忌ま忌ましいし早合点しない; int10 & int11 -> hypothesis; __DISPROVED__
事実1: もし仮に「実施出来ないかあるいは早合点しないかあるいは両方ともである」ものはあるとすれば「その二十六参照は領主貸しでない」ということは事実である
事実2: もし仮になにがしかのものが付くとすればそれは忌ま忌ましいし早合点しない
事実3: 「あのトレーサは躙り寄らない」ということは確かである
事実4: 「その二十六参照が付かないしそれは躙り寄らない」ということは成り立たない
事実5: とあるものは各種でないならば「それは実施出来るしおまけに領主貸しだ」ということは間違っている
事実6: その二十六参照は哀れっぽい
事実7: もし仮にあの社会保険診療報酬が烏滸がましいとすると領主貸しであるし集め易くない
事実8: 「この素粒子は躙り寄らない」ということは確かである
事実9: もし仮にその二十六参照は実施出来るとすると「意見交換でないしさらに付かない」ということは間違いである
事実10: 仮になにかは合併特例債でないとすると意見交換でない
事実11: あの補給部隊は領主貸しだということはないかあるいは各種でないか両方である
事実12: もし何らかのものが粉飾すればそれが選手等だししかもそれは地下深くない
事実13: 仮に「躙り寄らないかまたは意見交換でないかもしくはどちらもな」ものはあるとすれば「あのトレーサは付かない」ということは成り立つ
事実14: 仮にあのトレーサが躙り寄らないとするとその二十六参照は実施出来るししかも確定す
事実15: 「月経周期であるということはないかあるいは手広いということはないかあるいは両方である」ものはある
事実16: もし仮に「あのトレーサは実施出来ない」ということは事実であるならばその二十六参照は躙り寄る
事実17: 何かは実施出来ないかもしくは合併特例債でないかもしくは両方ともである
事実18: 「「領主貸しでないか各種でないかもしくは両方だ」ということは事実である」ものがあるならその二十六参照は合併特例債でない
事実19: もし仮にあのトレーサが各種だがしかし合併特例債でないとするとその二十六参照は領主貸しでない
事実20: 仮に「欄名無しでない」物があればその二十六参照は早合点しない
事実21: あの補給部隊は秋めくということはない

仮説: 「その二十六参照は忌ま忌ましいけどそれは早合点しない」ということは事実でない
1. 事実11から、推論1: "なにがしかの物は領主貸しだということはないかそれは各種でないかまたは両方ともである"が導かれる
2. 推論1と事実18から、推論2: "その二十六参照は合併特例債でない"が導かれる
3. 事実10から、推論3: "その二十六参照は合併特例債でないとしたら「意見交換でない」ということは本当である"が導かれる
4. 推論2と推論3から、推論4: "その二十六参照は意見交換でない"が導かれる
5. 仮定1: 以下のように仮定する。その二十六参照は付かない
6. 推論4と仮定1から、推論5: "その二十六参照は意見交換でないしさらにそれは付かない"が導かれる
7. 事実14と事実3から、推論6: "その二十六参照は実施出来るしそれは確定す"が導かれる
8. 推論6から、推論7: "「その二十六参照は実施出来る」ということは正しい"が導かれる
9. 推論7と事実9から、推論8: "「その二十六参照は意見交換だということはなくておまけにそれは付くということはない」ということは事実と異なる"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "その二十六参照は付く"が導かれる
12. 事実2から、推論11: "仮にその二十六参照が付けば忌ま忌ましいし早合点しない"が導かれる
13. 推論10と推論11から、仮説が否定される

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