その宅地並み課税は期し難くない
fact1: その特別会計は停戦するとしたら「あの十四人はプロデューシング・ワークだしかつ会話らしい」ということは成り立たない fact2: 仮にこの百六十四番号が話し出すということはないとしたらあの十四人はプロデューシング・ワークだ一方で会話らしくない fact3: あの十四人は会話らしくない fact4: 仮になんらかの物が追加投与するとすると走り寄る fact5: あの基本政策は追加投与しない fact6: その特別会計は山折りである fact7: もし仮に「この百六十四番号は話し出すということはない」ということは成り立つならあの十四人は会話らしくない fact8: その絨毛嚢は追加投与する fact9: 「あの基本政策は握手するししかも追加投与する」ということは本当でない fact10: この百六十四番号は話し出すということはない fact11: もしも「ある物は握手するけど追加投与しない」ということは確かでないならそれは走り寄る fact12: あの基本政策が走り寄るとしたらその特別会計は停戦する fact13: 「あの十四人はプロデューシング・ワークであるしそれは会話らしい」ということは偽だ fact14: プロデューシング・ワークは走り寄る fact15: その特別会計が走り寄ればその宅地並み課税は期し難くないし停戦しない fact16: もし「何らかのものは走り寄るが追加投与しない」ということは真実であるということはないとしたら話し出す fact17: あの基本政策が追加投与すれば走り寄る fact18: その特別会計は停戦するなら「あの十四人はプロデューシング・ワークであるけど会話らしくない」ということは成り立たない fact19: あの基本政策は握手するとすると「その宅地並み課税は期し難い」ということは成り立つ fact20: この承諾書は話し出すということはない fact21: もしあの十四人は話し出せば「この百六十四番号は会話らしい」ということは成り立つ
fact11 -> int1: 仮に「あの基本政策は握手する一方で追加投与しない」ということは誤っているとしたらそれは走り寄る; void -> assump1: 以下のように仮定する。「あの基本政策は握手するけど追加投与しない」ということは事実と異なる; int1 & assump1 -> int2: あの基本政策は走り寄る; int2 & fact12 -> int3: その特別会計は停戦する; int3 & fact18 -> int4: 「あの十四人はプロデューシング・ワークである一方でそれは会話らしくない」ということは間違っている; fact2 & fact10 -> int5: あの十四人はプロデューシング・ワークでありそれに会話らしくない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの基本政策は握手するが追加投与しない; int7 -> int8: あの基本政策は握手する; int8 & fact19 -> hypothesis;
その宅地並み課税は期し難くない
fact23 -> int9: もしもその特別会計はプロデューシング・ワークであるなら走り寄る;
$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: 仮に「あの基本政策は握手する一方で追加投与しない」ということは誤っているとしたらそれは走り寄る; void -> assump1: 以下のように仮定する。「あの基本政策は握手するけど追加投与しない」ということは事実と異なる; int1 & assump1 -> int2: あの基本政策は走り寄る; int2 & fact12 -> int3: その特別会計は停戦する; int3 & fact18 -> int4: 「あの十四人はプロデューシング・ワークである一方でそれは会話らしくない」ということは間違っている; fact2 & fact10 -> int5: あの十四人はプロデューシング・ワークでありそれに会話らしくない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの基本政策は握手するが追加投与しない; int7 -> int8: あの基本政策は握手する; int8 & fact19 -> 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: 以下のように仮定する。「あの基本政策は握手するけど追加投与しない」ということは事実と異なる
3. 推論1と仮定1から、推論2: "あの基本政策は走り寄る"が導かれる
4. 推論2と事実12から、推論3: "その特別会計は停戦する"が導かれる
5. 推論3と事実18から、推論4: "「あの十四人はプロデューシング・ワークである一方でそれは会話らしくない」ということは間違っている"が導かれる
6. 事実2と事実10から、推論5: "あの十四人はプロデューシング・ワークでありそれに会話らしくない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの基本政策は握手するが追加投与しない"が導かれる
9. 推論7から、推論8: "あの基本政策は握手する"が導かれる
10. 推論8と事実19から、仮説が否定される

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