その連合政権は相談毎である
fact1: 「誇りっぽいかあるいは併合審判でないかもしくは両方な」物はある fact2: その脅迫状は誇りっぽくないかもしくは併合審判であるかもしくは両方ともである fact3: その脅迫状は相談毎でないかまたは併合審判であるということはないかまたは両方ともだ fact4: その脅迫状は誇りっぽくない fact5: もしもなにかは非難がましくらないとすれば「それは併合審判でないけれど誇りっぽい」ということは成り立たない fact6: 「誇りっぽくないか併合審判である」ものはある fact7: もしも「その連合政権はパロディー化するしそれに誇りっぽい」ということは成り立たないならその脅迫状はパロディー化しない fact8: その同計画は収監しない fact9: 「その連合政権は納得し易いし非難がましい」ということは間違っていればそれは非難がましかない fact10: 仮にその合併対価は併合審判でないならば「その連合政権がパロディー化するしその上それは誇りっぽい」ということは成り立たない fact11: もし仮になにかは誇りっぽくないかもしくは併合審判だということはないかまたはどちらもだとするとその連合政権は相談毎であるということはない fact12: もしもあるものが併合審判でないならその連合政権は相談毎でない fact13: その脅迫状は相談毎でないかあるいは誇りっぽくないかもしくは両方である
fact4 -> int1: その脅迫状は誇りっぽくないかもしくはそれは併合審判でないかどちらもである; int1 -> int2: 「誇りっぽくないか併合審判でないか両方ともである」物はある; int2 & fact11 -> hypothesis;
その連合政権は相談毎だ
fact14 -> int3: 「もしその連合政権は非難がましいということはないとしたら「その連合政権は併合審判でないがしかし誇りっぽい」ということは正しくない」ということは真実である;
$facts$ = fact1: 「誇りっぽいかあるいは併合審判でないかもしくは両方な」物はある fact2: その脅迫状は誇りっぽくないかもしくは併合審判であるかもしくは両方ともである fact3: その脅迫状は相談毎でないかまたは併合審判であるということはないかまたは両方ともだ fact4: その脅迫状は誇りっぽくない fact5: もしもなにかは非難がましくらないとすれば「それは併合審判でないけれど誇りっぽい」ということは成り立たない fact6: 「誇りっぽくないか併合審判である」ものはある fact7: もしも「その連合政権はパロディー化するしそれに誇りっぽい」ということは成り立たないならその脅迫状はパロディー化しない fact8: その同計画は収監しない fact9: 「その連合政権は納得し易いし非難がましい」ということは間違っていればそれは非難がましかない fact10: 仮にその合併対価は併合審判でないならば「その連合政権がパロディー化するしその上それは誇りっぽい」ということは成り立たない fact11: もし仮になにかは誇りっぽくないかもしくは併合審判だということはないかまたはどちらもだとするとその連合政権は相談毎であるということはない fact12: もしもあるものが併合審判でないならその連合政権は相談毎でない fact13: その脅迫状は相談毎でないかあるいは誇りっぽくないかもしくは両方である ; $hypothesis$ = その連合政権は相談毎である ; $proof$ = 
fact4 -> int1: その脅迫状は誇りっぽくないかもしくはそれは併合審判でないかどちらもである; int1 -> int2: 「誇りっぽくないか併合審判でないか両方ともである」物はある; int2 & fact11 -> hypothesis; __DISPROVED__
事実1: 「誇りっぽいかあるいは併合審判でないかもしくは両方な」物はある
事実2: その脅迫状は誇りっぽくないかもしくは併合審判であるかもしくは両方ともである
事実3: その脅迫状は相談毎でないかまたは併合審判であるということはないかまたは両方ともだ
事実4: その脅迫状は誇りっぽくない
事実5: もしもなにかは非難がましくらないとすれば「それは併合審判でないけれど誇りっぽい」ということは成り立たない
事実6: 「誇りっぽくないか併合審判である」ものはある
事実7: もしも「その連合政権はパロディー化するしそれに誇りっぽい」ということは成り立たないならその脅迫状はパロディー化しない
事実8: その同計画は収監しない
事実9: 「その連合政権は納得し易いし非難がましい」ということは間違っていればそれは非難がましかない
事実10: 仮にその合併対価は併合審判でないならば「その連合政権がパロディー化するしその上それは誇りっぽい」ということは成り立たない
事実11: もし仮になにかは誇りっぽくないかもしくは併合審判だということはないかまたはどちらもだとするとその連合政権は相談毎であるということはない
事実12: もしもあるものが併合審判でないならその連合政権は相談毎でない
事実13: その脅迫状は相談毎でないかあるいは誇りっぽくないかもしくは両方である

仮説: その連合政権は相談毎である
1. 事実4から、推論1: "その脅迫状は誇りっぽくないかもしくはそれは併合審判でないかどちらもである"が導かれる
2. 推論1から、推論2: "「誇りっぽくないか併合審判でないか両方ともである」物はある"が導かれる
3. 推論2と事実11から、仮説が否定される

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