あのＥＵ加盟国は繰り返し繰り返さない
fact1: あのＥＵ加盟国は嘘っぽくない fact2: あの森林管理は軟らかいが破産しない fact3: もしもあの復讐依頼が弁解がましい一方で落っことすということはないとするとあのＥＵ加盟国は弁解がましい fact4: 「あの復讐依頼は弁解がましい」ということは偽でない fact5: あの復讐依頼は嘘っぽい fact6: その担ぎ棒は男らしくない一方で高カルシウム血症である fact7: 仮に何らかのものがＯＣＲ用申請用紙でないが弁解がましいならば「繰り返し繰り返す」ということは事実である fact8: あの復讐依頼は繰り返し繰り返す fact9: もし仮にあるものは嘘っぽくないけれどＯＣＲ用申請用紙であるとすればそれは嘆かわしい fact10: 「あの復讐依頼は仮納付しない」ということは成り立つ fact11: このトンボロは跡だけれど弁解がましかない fact12: 「あの復讐依頼は落っことすらない」ということは成り立つ fact13: もしあのＥＵ加盟国が諸原理でないけどそれは嘘っぽいとすれば「軽い」ということは本当である fact14: あの復讐依頼が弁解がましかないが落っことすれば嘘っぽい fact15: あの斡旋委員は弁解がましかない fact16: あのＥＵ加盟国は落っことすらないけどＯＣＲ用申請用紙であるとすればそれは嘘っぽい fact17: もしあのＥＵ加盟国が嘘っぽくないならばそれはＯＣＲ用申請用紙でなくてそれは嘆かわしい fact18: もし仮にあの復讐依頼は繰り返し繰り返すということはないがしかし弁解がましいとすると嘆かわしい fact19: その藩政は弁解がましい fact20: そのＥＺインターネットは落っことす fact21: もしあのＥＵ加盟国が嘘っぽくないとすると嘆かわしい fact22: あのイタリア人青年は落っことすらない fact23: あのＥＵ加盟国は嘆かわしい
fact17 & fact1 -> int1: あのＥＵ加盟国はＯＣＲ用申請用紙でない一方で嘆かわしい; int1 -> int2: あのＥＵ加盟国はＯＣＲ用申請用紙でない; fact12 & fact4 -> int3: あの復讐依頼は弁解がましい一方で落っことすらない; int3 & fact3 -> int4: あのＥＵ加盟国は弁解がましい; int2 & int4 -> int5: 「あのＥＵ加盟国はＯＣＲ用申請用紙だということはないがしかし弁解がましい」ということは真実だ; fact7 -> int6: もしもあのＥＵ加盟国はＯＣＲ用申請用紙でないけれど弁解がましいとすれば繰り返し繰り返す; int5 & int6 -> hypothesis;
$facts$ = fact1: あのＥＵ加盟国は嘘っぽくない fact2: あの森林管理は軟らかいが破産しない fact3: もしもあの復讐依頼が弁解がましい一方で落っことすということはないとするとあのＥＵ加盟国は弁解がましい fact4: 「あの復讐依頼は弁解がましい」ということは偽でない fact5: あの復讐依頼は嘘っぽい fact6: その担ぎ棒は男らしくない一方で高カルシウム血症である fact7: 仮に何らかのものがＯＣＲ用申請用紙でないが弁解がましいならば「繰り返し繰り返す」ということは事実である fact8: あの復讐依頼は繰り返し繰り返す fact9: もし仮にあるものは嘘っぽくないけれどＯＣＲ用申請用紙であるとすればそれは嘆かわしい fact10: 「あの復讐依頼は仮納付しない」ということは成り立つ fact11: このトンボロは跡だけれど弁解がましかない fact12: 「あの復讐依頼は落っことすらない」ということは成り立つ fact13: もしあのＥＵ加盟国が諸原理でないけどそれは嘘っぽいとすれば「軽い」ということは本当である fact14: あの復讐依頼が弁解がましかないが落っことすれば嘘っぽい fact15: あの斡旋委員は弁解がましかない fact16: あのＥＵ加盟国は落っことすらないけどＯＣＲ用申請用紙であるとすればそれは嘘っぽい fact17: もしあのＥＵ加盟国が嘘っぽくないならばそれはＯＣＲ用申請用紙でなくてそれは嘆かわしい fact18: もし仮にあの復讐依頼は繰り返し繰り返すということはないがしかし弁解がましいとすると嘆かわしい fact19: その藩政は弁解がましい fact20: そのＥＺインターネットは落っことす fact21: もしあのＥＵ加盟国が嘘っぽくないとすると嘆かわしい fact22: あのイタリア人青年は落っことすらない fact23: あのＥＵ加盟国は嘆かわしい ; $hypothesis$ = あのＥＵ加盟国は繰り返し繰り返さない ; $proof$ = 
fact17 & fact1 -> int1: あのＥＵ加盟国はＯＣＲ用申請用紙でない一方で嘆かわしい; int1 -> int2: あのＥＵ加盟国はＯＣＲ用申請用紙でない; fact12 & fact4 -> int3: あの復讐依頼は弁解がましい一方で落っことすらない; int3 & fact3 -> int4: あのＥＵ加盟国は弁解がましい; int2 & int4 -> int5: 「あのＥＵ加盟国はＯＣＲ用申請用紙だということはないがしかし弁解がましい」ということは真実だ; fact7 -> int6: もしもあのＥＵ加盟国はＯＣＲ用申請用紙でないけれど弁解がましいとすれば繰り返し繰り返す; int5 & int6 -> hypothesis; __DISPROVED__
事実1: あのＥＵ加盟国は嘘っぽくない
事実2: あの森林管理は軟らかいが破産しない
事実3: もしもあの復讐依頼が弁解がましい一方で落っことすということはないとするとあのＥＵ加盟国は弁解がましい
事実4: 「あの復讐依頼は弁解がましい」ということは偽でない
事実5: あの復讐依頼は嘘っぽい
事実6: その担ぎ棒は男らしくない一方で高カルシウム血症である
事実7: 仮に何らかのものがＯＣＲ用申請用紙でないが弁解がましいならば「繰り返し繰り返す」ということは事実である
事実8: あの復讐依頼は繰り返し繰り返す
事実9: もし仮にあるものは嘘っぽくないけれどＯＣＲ用申請用紙であるとすればそれは嘆かわしい
事実10: 「あの復讐依頼は仮納付しない」ということは成り立つ
事実11: このトンボロは跡だけれど弁解がましかない
事実12: 「あの復讐依頼は落っことすらない」ということは成り立つ
事実13: もしあのＥＵ加盟国が諸原理でないけどそれは嘘っぽいとすれば「軽い」ということは本当である
事実14: あの復讐依頼が弁解がましかないが落っことすれば嘘っぽい
事実15: あの斡旋委員は弁解がましかない
事実16: あのＥＵ加盟国は落っことすらないけどＯＣＲ用申請用紙であるとすればそれは嘘っぽい
事実17: もしあのＥＵ加盟国が嘘っぽくないならばそれはＯＣＲ用申請用紙でなくてそれは嘆かわしい
事実18: もし仮にあの復讐依頼は繰り返し繰り返すということはないがしかし弁解がましいとすると嘆かわしい
事実19: その藩政は弁解がましい
事実20: そのＥＺインターネットは落っことす
事実21: もしあのＥＵ加盟国が嘘っぽくないとすると嘆かわしい
事実22: あのイタリア人青年は落っことすらない
事実23: あのＥＵ加盟国は嘆かわしい

仮説: あのＥＵ加盟国は繰り返し繰り返さない
1. 事実17と事実1から、推論1: "あのＥＵ加盟国はＯＣＲ用申請用紙でない一方で嘆かわしい"が導かれる
2. 推論1から、推論2: "あのＥＵ加盟国はＯＣＲ用申請用紙でない"が導かれる
3. 事実12と事実4から、推論3: "あの復讐依頼は弁解がましい一方で落っことすらない"が導かれる
4. 推論3と事実3から、推論4: "あのＥＵ加盟国は弁解がましい"が導かれる
5. 推論2と推論4から、推論5: "「あのＥＵ加盟国はＯＣＲ用申請用紙だということはないがしかし弁解がましい」ということは真実だ"が導かれる
6. 事実7から、推論6: "もしもあのＥＵ加盟国はＯＣＲ用申請用紙でないけれど弁解がましいとすれば繰り返し繰り返す"が導かれる
7. 推論5と推論6から、仮説が否定される

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