「そのつっかい棒は経時変化でなくてしかもそれは計画化でない」ということは間違っている
fact1: もしもこの風邪引きは読み難いとすると「その法曹人口は宜しかまたはそれは読み難くない」ということは成り立たない fact2: 仮に「「成熟しなくてフィレンツェ出身だ」ということは間違いである」物はあるなら「この風邪引きは読み難い」ということは成り立つ fact3: 仮にそのつっかい棒が生活物資でないならば収まり返らないしそれは悩ましくない fact4: もしもあの周辺機器が睦まじい物であっておまけにひょろ長いならばその法曹人口はゴルフ場でない fact5: もしとある物が壊れ易くないとすれば真っ黒いがしかし収まり返るということはない fact6: もしなにかは読み難くないとすると「経時変化でなくて計画化でない」ということは成り立たない fact7: 「あの周辺機器は睦まじい」ということは本当だ fact8: 「もしもその法曹人口が着陸出来なくてそれが一つ手前でないならその法曹人口は壊れ易くない」ということは成り立つ fact9: もしも「真っ黒いしその上収まり返らない」ものがあるとしたらこの風邪引きは悩ましい fact10: その法曹人口が悩ましくないがしかし収まり返るとすればあのつっかい棒は宜しない fact11: もしその設備投資促進税制が成熟しない一方でそれはフィレンツェ出身なら「そのつっかい棒は生活物資でない」ということは成り立つ fact12: もしもその法曹人口はゴルフ場でないならば着陸出来ないし一つ手前でない fact13: もし仮にこの風邪引きが読み難いとすればあの法曹人口は読み難い fact14: あの周辺機器はひょろ長い fact15: 仮にそのつっかい棒が収まり返らないならば経時変化でなくてしかも計画化でない fact16: そのつっかい棒が収まり返らないとすればそれは経時変化でない fact17: その法曹人口は宜し
void -> assump1: 以下のように仮定する。「その設備投資促進税制は成熟しないがフィレンツェ出身だ」ということは成り立たない; assump1 -> int1: 「「成熟しないけどフィレンツェ出身である」ということは成り立たない」ものはある; int1 & fact2 -> int2: この風邪引きは読み難い; int2 & fact1 -> int3: 「その法曹人口は宜しかもしくは読み難くない」ということは間違いである; fact17 -> int4: その法曹人口は宜しか読み難くない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その設備投資促進税制は成熟しないがフィレンツェ出身である; int6 & fact11 -> int7: そのつっかい棒は生活物資でない; int7 & fact3 -> int8: そのつっかい棒は収まり返らないし悩ましくない; int8 -> int9: そのつっかい棒は収まり返らない; int9 & fact15 -> hypothesis;
「「そのつっかい棒は経時変化でないしそれに計画化でない」ということは成り立たない」ということは成り立つ
fact23 -> int10: そのつっかい棒は読み難くないとすれば「それは経時変化でないししかも計画化でない」ということは本当でない; fact24 -> int11: もし仮にその法曹人口が壊れ易くないとすれば真っ黒いけど収まり返らない; fact18 & fact19 -> int12: あの周辺機器が睦まじいしその上ひょろ長い; fact25 & int12 -> int13: その法曹人口はゴルフ場でない; fact21 & int13 -> int14: その法曹人口は着陸出来なくてそれに一つ手前でない; fact22 & int14 -> int15: 「その法曹人口は壊れ易くない」ということは成り立つ; int11 & int15 -> int16: その法曹人口は真っ黒い一方でそれは収まり返らない; int16 -> int17: 「真っ黒くてまた収まり返らない」ものはある; int17 & fact20 -> int18: この風邪引きは悩ましい; int18 -> int19: 何らかのものは悩ましい;
$facts$ = fact1: もしもこの風邪引きは読み難いとすると「その法曹人口は宜しかまたはそれは読み難くない」ということは成り立たない fact2: 仮に「「成熟しなくてフィレンツェ出身だ」ということは間違いである」物はあるなら「この風邪引きは読み難い」ということは成り立つ fact3: 仮にそのつっかい棒が生活物資でないならば収まり返らないしそれは悩ましくない fact4: もしもあの周辺機器が睦まじい物であっておまけにひょろ長いならばその法曹人口はゴルフ場でない fact5: もしとある物が壊れ易くないとすれば真っ黒いがしかし収まり返るということはない fact6: もしなにかは読み難くないとすると「経時変化でなくて計画化でない」ということは成り立たない fact7: 「あの周辺機器は睦まじい」ということは本当だ fact8: 「もしもその法曹人口が着陸出来なくてそれが一つ手前でないならその法曹人口は壊れ易くない」ということは成り立つ fact9: もしも「真っ黒いしその上収まり返らない」ものがあるとしたらこの風邪引きは悩ましい fact10: その法曹人口が悩ましくないがしかし収まり返るとすればあのつっかい棒は宜しない fact11: もしその設備投資促進税制が成熟しない一方でそれはフィレンツェ出身なら「そのつっかい棒は生活物資でない」ということは成り立つ fact12: もしもその法曹人口はゴルフ場でないならば着陸出来ないし一つ手前でない fact13: もし仮にこの風邪引きが読み難いとすればあの法曹人口は読み難い fact14: あの周辺機器はひょろ長い fact15: 仮にそのつっかい棒が収まり返らないならば経時変化でなくてしかも計画化でない fact16: そのつっかい棒が収まり返らないとすればそれは経時変化でない fact17: その法曹人口は宜し ; $hypothesis$ = 「そのつっかい棒は経時変化でなくてしかもそれは計画化でない」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。「その設備投資促進税制は成熟しないがフィレンツェ出身だ」ということは成り立たない; assump1 -> int1: 「「成熟しないけどフィレンツェ出身である」ということは成り立たない」ものはある; int1 & fact2 -> int2: この風邪引きは読み難い; int2 & fact1 -> int3: 「その法曹人口は宜しかもしくは読み難くない」ということは間違いである; fact17 -> int4: その法曹人口は宜しか読み難くない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その設備投資促進税制は成熟しないがフィレンツェ出身である; int6 & fact11 -> int7: そのつっかい棒は生活物資でない; int7 & fact3 -> int8: そのつっかい棒は収まり返らないし悩ましくない; int8 -> int9: そのつっかい棒は収まり返らない; int9 & fact15 -> hypothesis; __DISPROVED__
事実1: もしもこの風邪引きは読み難いとすると「その法曹人口は宜しかまたはそれは読み難くない」ということは成り立たない
事実2: 仮に「「成熟しなくてフィレンツェ出身だ」ということは間違いである」物はあるなら「この風邪引きは読み難い」ということは成り立つ
事実3: 仮にそのつっかい棒が生活物資でないならば収まり返らないしそれは悩ましくない
事実4: もしもあの周辺機器が睦まじい物であっておまけにひょろ長いならばその法曹人口はゴルフ場でない
事実5: もしとある物が壊れ易くないとすれば真っ黒いがしかし収まり返るということはない
事実6: もしなにかは読み難くないとすると「経時変化でなくて計画化でない」ということは成り立たない
事実7: 「あの周辺機器は睦まじい」ということは本当だ
事実8: 「もしもその法曹人口が着陸出来なくてそれが一つ手前でないならその法曹人口は壊れ易くない」ということは成り立つ
事実9: もしも「真っ黒いしその上収まり返らない」ものがあるとしたらこの風邪引きは悩ましい
事実10: その法曹人口が悩ましくないがしかし収まり返るとすればあのつっかい棒は宜しない
事実11: もしその設備投資促進税制が成熟しない一方でそれはフィレンツェ出身なら「そのつっかい棒は生活物資でない」ということは成り立つ
事実12: もしもその法曹人口はゴルフ場でないならば着陸出来ないし一つ手前でない
事実13: もし仮にこの風邪引きが読み難いとすればあの法曹人口は読み難い
事実14: あの周辺機器はひょろ長い
事実15: 仮にそのつっかい棒が収まり返らないならば経時変化でなくてしかも計画化でない
事実16: そのつっかい棒が収まり返らないとすればそれは経時変化でない
事実17: その法曹人口は宜し

仮説: 「そのつっかい棒は経時変化でなくてしかもそれは計画化でない」ということは間違っている
1. 仮定1: 以下のように仮定する。「その設備投資促進税制は成熟しないがフィレンツェ出身だ」ということは成り立たない
2. 仮定1から、推論1: "「「成熟しないけどフィレンツェ出身である」ということは成り立たない」ものはある"が導かれる
3. 推論1と事実2から、推論2: "この風邪引きは読み難い"が導かれる
4. 推論2と事実1から、推論3: "「その法曹人口は宜しかもしくは読み難くない」ということは間違いである"が導かれる
5. 事実17から、推論4: "その法曹人口は宜しか読み難くない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その設備投資促進税制は成熟しないがフィレンツェ出身である"が導かれる
8. 推論6と事実11から、推論7: "そのつっかい棒は生活物資でない"が導かれる
9. 推論7と事実3から、推論8: "そのつっかい棒は収まり返らないし悩ましくない"が導かれる
10. 推論8から、推論9: "そのつっかい棒は収まり返らない"が導かれる
11. 推論9と事実15から、仮説が否定される

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