あの各都道府県は転覆である
fact1: その次ボタンは五良師であるとしたら「この国譲りは通り難いけれどそれは四十八襞でない」ということは間違いだ fact2: もし仮に「あの各都道府県は各カテゴリでないかまたはそれは新提案でないかもしくは両方ともである」ということは誤りだとするとし難くない fact3: あの各都道府県は転覆だとしたら「し難い」ということは成り立つ fact4: 「あの各都道府県は各カテゴリでないかあるいはそれは新提案でない」ということは成り立たない fact5: もし仮に「とある物は各カテゴリだがしかしそれは未熟性でない」ということは成り立たないならばそれは各カテゴリでない fact6: あの各都道府県は失言でない fact7: し難い物は新提案でないなら転覆である fact8: その次ボタンが五良師だしそれに真上である fact9: もしそのＳ字形はキャッシュフロー計算書でないなら「あの各都道府県は各カテゴリだが未熟性でない」ということは誤っている fact10: もし仮に何かは各カテゴリであるということはないならばし難いがしかし新提案でない fact11: もしも「あの一般ユーザは内張りしないか転覆だということはない」ということは成り立つということはないとすれば膠着するということはない
void -> assump1: 以下のように仮定する。あの各都道府県は転覆である; fact3 & assump1 -> int1: 「あの各都道府県はし難い」ということは真実だ; fact2 & fact4 -> int2: あの各都道府県はし難くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; fact2 & fact4 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「あの各都道府県は転覆だ」ということは間違いでない
fact14 -> int4: もしもあの各都道府県はし難いが新提案でないとすれば「転覆である」ということは成り立つ; fact15 -> int5: あの各都道府県が各カテゴリでないとすればし難くてかつそれは新提案でない; fact13 -> int6: 仮に「あの各都道府県は各カテゴリだが未熟性でない」ということは成り立たないならそれは各カテゴリでない; fact17 -> int7: その次ボタンは五良師である; fact12 & int7 -> int8: 「この国譲りは通り難いが四十八襞でない」ということは誤りである; int8 -> int9: 「「通り難いしその上四十八襞でない」ということは事実と異なる」ものはある;
$facts$ = fact1: その次ボタンは五良師であるとしたら「この国譲りは通り難いけれどそれは四十八襞でない」ということは間違いだ fact2: もし仮に「あの各都道府県は各カテゴリでないかまたはそれは新提案でないかもしくは両方ともである」ということは誤りだとするとし難くない fact3: あの各都道府県は転覆だとしたら「し難い」ということは成り立つ fact4: 「あの各都道府県は各カテゴリでないかあるいはそれは新提案でない」ということは成り立たない fact5: もし仮に「とある物は各カテゴリだがしかしそれは未熟性でない」ということは成り立たないならばそれは各カテゴリでない fact6: あの各都道府県は失言でない fact7: し難い物は新提案でないなら転覆である fact8: その次ボタンが五良師だしそれに真上である fact9: もしそのＳ字形はキャッシュフロー計算書でないなら「あの各都道府県は各カテゴリだが未熟性でない」ということは誤っている fact10: もし仮に何かは各カテゴリであるということはないならばし難いがしかし新提案でない fact11: もしも「あの一般ユーザは内張りしないか転覆だということはない」ということは成り立つということはないとすれば膠着するということはない ; $hypothesis$ = あの各都道府県は転覆である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの各都道府県は転覆である; fact3 & assump1 -> int1: 「あの各都道府県はし難い」ということは真実だ; fact2 & fact4 -> int2: あの各都道府県はし難くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: その次ボタンは五良師であるとしたら「この国譲りは通り難いけれどそれは四十八襞でない」ということは間違いだ
事実2: もし仮に「あの各都道府県は各カテゴリでないかまたはそれは新提案でないかもしくは両方ともである」ということは誤りだとするとし難くない
事実3: あの各都道府県は転覆だとしたら「し難い」ということは成り立つ
事実4: 「あの各都道府県は各カテゴリでないかあるいはそれは新提案でない」ということは成り立たない
事実5: もし仮に「とある物は各カテゴリだがしかしそれは未熟性でない」ということは成り立たないならばそれは各カテゴリでない
事実6: あの各都道府県は失言でない
事実7: し難い物は新提案でないなら転覆である
事実8: その次ボタンが五良師だしそれに真上である
事実9: もしそのＳ字形はキャッシュフロー計算書でないなら「あの各都道府県は各カテゴリだが未熟性でない」ということは誤っている
事実10: もし仮に何かは各カテゴリであるということはないならばし難いがしかし新提案でない
事実11: もしも「あの一般ユーザは内張りしないか転覆だということはない」ということは成り立つということはないとすれば膠着するということはない

仮説: あの各都道府県は転覆である
1. 仮定1: 以下のように仮定する。あの各都道府県は転覆である
2. 事実3と仮定1から、推論1: "「あの各都道府県はし難い」ということは真実だ"が導かれる
3. 事実2と事実4から、推論2: "あの各都道府県はし難くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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