その改憲は保存し直す
fact1: 仮にとある物は手っ取り早いとすれば「それはＨＹデでないかそれは上げ易くないかあるいは両方だ」ということは誤っている fact2: 「「その醵金はＨＹデでないかまたは上げ易くない」ということは真実だ」ということは偽だとしたらその職人芸は使い易いということはない fact3: 仮にこの住民自らが想像し易くないか終わらないかあるいはどちらもであるならばその地方政府法は終わる fact4: その地方政府法が終わるならばあの知識組織は保存し直さない fact5: もし「「「社会的機能でなくて御忙しいということはない」ということは成り立つ」ということは間違いである」ものがあるとすればあの改憲は保存し直さない fact6: もし仮にこのフロッピーディスクドライブが親らしくないならばこの住民自らは想像し易くない fact7: もし仮になにかは保存期間でないかもしくは親らしいということはないかもしくは両方ともだとするとそれは親らしくない fact8: もしもその職人芸が使い易くないとするとこのフロッピーディスクドライブは保存期間でないかあるいは親らしくないか両方ともである fact9: 全ては手っ取り早い fact10: 「「社会的機能でないしおまけに御忙しくない」ということは嘘な」ものはある fact11: もし仮にあの知識組織は保存し直さないなら「その改憲は○○円でなくて更に羨まない」ということは偽である
fact10 & fact5 -> hypothesis;
「「○○円でなくてそれに羨まない」ということは嘘である」ものはある
fact14 -> int1: そのバンド幅は手っ取り早い; fact19 -> int2: もしもそのバンド幅は手っ取り早いとすれば「それはＨＹデでないかまたは上げ易くないかまたは両方ともだ」ということは事実と異なる; int1 & int2 -> int3: 「そのバンド幅はＨＹデでないかまたはそれは上げ易くない」ということは偽である; int3 -> int4: ＨＹデでないかまたは上げ易いということはないかまたは両方ともだというものはない; int4 -> int5: 「その醵金はＨＹデでないかあるいは上げ易くないか両方だ」ということは成り立たない; fact17 & int5 -> int6: その職人芸は使い易くない; int6 & fact16 -> int7: このフロッピーディスクドライブは保存期間でないかまたはそれは親らしいということはないかあるいは両方だ; fact13 -> int8: このフロッピーディスクドライブが保存期間でないかそれは親らしくないか両方ならば親らしいということはない; int7 & int8 -> int9: このフロッピーディスクドライブは親らしくない; int9 & fact15 -> int10: この住民自らは想像し易くない; int10 -> int11: この住民自らは想像し易くないかまたは終わるということはないかまたはどちらもである; fact18 & int11 -> int12: 「その地方政府法は終わる」ということは成り立つ; int12 & fact12 -> int13: あの知識組織は保存し直さない; int13 & fact20 -> int14: 「その改憲は○○円でないしおまけに羨まない」ということは間違いである; int14 -> hypothesis;
$facts$ = fact1: 仮にとある物は手っ取り早いとすれば「それはＨＹデでないかそれは上げ易くないかあるいは両方だ」ということは誤っている fact2: 「「その醵金はＨＹデでないかまたは上げ易くない」ということは真実だ」ということは偽だとしたらその職人芸は使い易いということはない fact3: 仮にこの住民自らが想像し易くないか終わらないかあるいはどちらもであるならばその地方政府法は終わる fact4: その地方政府法が終わるならばあの知識組織は保存し直さない fact5: もし「「「社会的機能でなくて御忙しいということはない」ということは成り立つ」ということは間違いである」ものがあるとすればあの改憲は保存し直さない fact6: もし仮にこのフロッピーディスクドライブが親らしくないならばこの住民自らは想像し易くない fact7: もし仮になにかは保存期間でないかもしくは親らしいということはないかもしくは両方ともだとするとそれは親らしくない fact8: もしもその職人芸が使い易くないとするとこのフロッピーディスクドライブは保存期間でないかあるいは親らしくないか両方ともである fact9: 全ては手っ取り早い fact10: 「「社会的機能でないしおまけに御忙しくない」ということは嘘な」ものはある fact11: もし仮にあの知識組織は保存し直さないなら「その改憲は○○円でなくて更に羨まない」ということは偽である ; $hypothesis$ = その改憲は保存し直す ; $proof$ = 
fact10 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮にとある物は手っ取り早いとすれば「それはＨＹデでないかそれは上げ易くないかあるいは両方だ」ということは誤っている
事実2: 「「その醵金はＨＹデでないかまたは上げ易くない」ということは真実だ」ということは偽だとしたらその職人芸は使い易いということはない
事実3: 仮にこの住民自らが想像し易くないか終わらないかあるいはどちらもであるならばその地方政府法は終わる
事実4: その地方政府法が終わるならばあの知識組織は保存し直さない
事実5: もし「「「社会的機能でなくて御忙しいということはない」ということは成り立つ」ということは間違いである」ものがあるとすればあの改憲は保存し直さない
事実6: もし仮にこのフロッピーディスクドライブが親らしくないならばこの住民自らは想像し易くない
事実7: もし仮になにかは保存期間でないかもしくは親らしいということはないかもしくは両方ともだとするとそれは親らしくない
事実8: もしもその職人芸が使い易くないとするとこのフロッピーディスクドライブは保存期間でないかあるいは親らしくないか両方ともである
事実9: 全ては手っ取り早い
事実10: 「「社会的機能でないしおまけに御忙しくない」ということは嘘な」ものはある
事実11: もし仮にあの知識組織は保存し直さないなら「その改憲は○○円でなくて更に羨まない」ということは偽である

仮説: その改憲は保存し直す
1. 事実10と事実5から、仮説が否定される

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