もしも「その過血糖はビトーＲ＆Ｄである」ということは真実だとすればあのアメリカ外交は点検出来るけれどそれは囃し立てない
fact1: この筋交いはさらさらしない fact2: 仮にこのＡドライブが建て替えるがしかし暴行事件でないとすればその硝酸薬は上げ難いということはない fact3: 「このＡドライブはビトーＲ＆Ｄだがしかし暴行事件でない」ということは間違っている fact4: もしも「このＡドライブは建て替える一方で暴行事件でない」ということは嘘だとすると「その過血糖はビトーＲ＆Ｄでない」ということは成り立つ fact5: もしもこの密室が上げ難くないならこの筋交いは市町村自治だ fact6: 「仮にこのＡドライブが建て替えないならその過血糖はビトーＲ＆Ｄでない」ということは成り立つ fact7: 「この筋交いは囃し立てる」ということは成り立つならばあのアメリカ外交は市町村自治でない fact8: 仮に「この密室はビトーＲ＆Ｄであるがそれは点検出来ない」ということは成り立たないならばその過血糖は上げ難くない fact9: もし「このＡドライブは市町村自治でない」ということは成り立つならこの筋交いは建て替える fact10: もしもこの密室がさらさらしないならこの筋交いは市町村自治だ fact11: もしその過血糖は建て替えれば「このＡドライブはビトーＲ＆Ｄでない」ということは成り立つ fact12: あのアメリカ外交が建て替えるならばあのＡドライブは暴行事件であるが点検出来ない fact13: もしこの筋交いは上げ難いならば「このＡドライブは市町村自治だ一方で暴行事件であるということはない」ということは本当である fact14: 仮にこの筋交いが市町村自治ならばあのアメリカ外交は点検出来るけれど囃し立てない fact15: もしもその硝酸薬が上げ難くないならばこの密室はさらさらしないかもしくは上げ難くないかもしくはどちらもである fact16: もしもその硝酸薬が上げ難くて市町村自治であるとするとこのＡドライブは建て替えない fact17: もしも「「あのアメリカ外交は点検出来る」ということは成り立つ」ということは成り立たないとしたらその硝酸薬は上げ難くないかあるいはそれは点検出来ないかもしくは両方ともである fact18: もしもこの密室が市町村自治ならこの筋交いはさらさらしない fact19: あのアメリカ外交は暴行事件であるがしかし点検出来ない
void -> assump1: 以下のように仮定する。「このＡドライブは建て替えるが暴行事件でない」ということは成り立つということはない; fact4 & assump1 -> int1: その過血糖はビトーＲ＆Ｄでない; void -> assump2: 以下のように仮定する。その過血糖はビトーＲ＆Ｄだ; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: このＡドライブは建て替える一方で暴行事件でない; int3 & fact2 -> int4: その硝酸薬は上げ難くない; int4 & fact15 -> int5: この密室はさらさらしないかまたはそれは上げ難くない; int5 & fact10 & fact5 -> int6: この筋交いは市町村自治である; int6 & fact14 -> int7: あのアメリカ外交は点検出来る一方で囃し立てない; [assump2] & int7 -> hypothesis;
$facts$ = fact1: この筋交いはさらさらしない fact2: 仮にこのＡドライブが建て替えるがしかし暴行事件でないとすればその硝酸薬は上げ難いということはない fact3: 「このＡドライブはビトーＲ＆Ｄだがしかし暴行事件でない」ということは間違っている fact4: もしも「このＡドライブは建て替える一方で暴行事件でない」ということは嘘だとすると「その過血糖はビトーＲ＆Ｄでない」ということは成り立つ fact5: もしもこの密室が上げ難くないならこの筋交いは市町村自治だ fact6: 「仮にこのＡドライブが建て替えないならその過血糖はビトーＲ＆Ｄでない」ということは成り立つ fact7: 「この筋交いは囃し立てる」ということは成り立つならばあのアメリカ外交は市町村自治でない fact8: 仮に「この密室はビトーＲ＆Ｄであるがそれは点検出来ない」ということは成り立たないならばその過血糖は上げ難くない fact9: もし「このＡドライブは市町村自治でない」ということは成り立つならこの筋交いは建て替える fact10: もしもこの密室がさらさらしないならこの筋交いは市町村自治だ fact11: もしその過血糖は建て替えれば「このＡドライブはビトーＲ＆Ｄでない」ということは成り立つ fact12: あのアメリカ外交が建て替えるならばあのＡドライブは暴行事件であるが点検出来ない fact13: もしこの筋交いは上げ難いならば「このＡドライブは市町村自治だ一方で暴行事件であるということはない」ということは本当である fact14: 仮にこの筋交いが市町村自治ならばあのアメリカ外交は点検出来るけれど囃し立てない fact15: もしもその硝酸薬が上げ難くないならばこの密室はさらさらしないかもしくは上げ難くないかもしくはどちらもである fact16: もしもその硝酸薬が上げ難くて市町村自治であるとするとこのＡドライブは建て替えない fact17: もしも「「あのアメリカ外交は点検出来る」ということは成り立つ」ということは成り立たないとしたらその硝酸薬は上げ難くないかあるいはそれは点検出来ないかもしくは両方ともである fact18: もしもこの密室が市町村自治ならこの筋交いはさらさらしない fact19: あのアメリカ外交は暴行事件であるがしかし点検出来ない ; $hypothesis$ = もしも「その過血糖はビトーＲ＆Ｄである」ということは真実だとすればあのアメリカ外交は点検出来るけれどそれは囃し立てない ; $proof$ = 
void -> assump1: 以下のように仮定する。「このＡドライブは建て替えるが暴行事件でない」ということは成り立つということはない; fact4 & assump1 -> int1: その過血糖はビトーＲ＆Ｄでない; void -> assump2: 以下のように仮定する。その過血糖はビトーＲ＆Ｄだ; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: このＡドライブは建て替える一方で暴行事件でない; int3 & fact2 -> int4: その硝酸薬は上げ難くない; int4 & fact15 -> int5: この密室はさらさらしないかまたはそれは上げ難くない; int5 & fact10 & fact5 -> int6: この筋交いは市町村自治である; int6 & fact14 -> int7: あのアメリカ外交は点検出来る一方で囃し立てない; [assump2] & int7 -> hypothesis; __PROVED__
事実1: この筋交いはさらさらしない
事実2: 仮にこのＡドライブが建て替えるがしかし暴行事件でないとすればその硝酸薬は上げ難いということはない
事実3: 「このＡドライブはビトーＲ＆Ｄだがしかし暴行事件でない」ということは間違っている
事実4: もしも「このＡドライブは建て替える一方で暴行事件でない」ということは嘘だとすると「その過血糖はビトーＲ＆Ｄでない」ということは成り立つ
事実5: もしもこの密室が上げ難くないならこの筋交いは市町村自治だ
事実6: 「仮にこのＡドライブが建て替えないならその過血糖はビトーＲ＆Ｄでない」ということは成り立つ
事実7: 「この筋交いは囃し立てる」ということは成り立つならばあのアメリカ外交は市町村自治でない
事実8: 仮に「この密室はビトーＲ＆Ｄであるがそれは点検出来ない」ということは成り立たないならばその過血糖は上げ難くない
事実9: もし「このＡドライブは市町村自治でない」ということは成り立つならこの筋交いは建て替える
事実10: もしもこの密室がさらさらしないならこの筋交いは市町村自治だ
事実11: もしその過血糖は建て替えれば「このＡドライブはビトーＲ＆Ｄでない」ということは成り立つ
事実12: あのアメリカ外交が建て替えるならばあのＡドライブは暴行事件であるが点検出来ない
事実13: もしこの筋交いは上げ難いならば「このＡドライブは市町村自治だ一方で暴行事件であるということはない」ということは本当である
事実14: 仮にこの筋交いが市町村自治ならばあのアメリカ外交は点検出来るけれど囃し立てない
事実15: もしもその硝酸薬が上げ難くないならばこの密室はさらさらしないかもしくは上げ難くないかもしくはどちらもである
事実16: もしもその硝酸薬が上げ難くて市町村自治であるとするとこのＡドライブは建て替えない
事実17: もしも「「あのアメリカ外交は点検出来る」ということは成り立つ」ということは成り立たないとしたらその硝酸薬は上げ難くないかあるいはそれは点検出来ないかもしくは両方ともである
事実18: もしもこの密室が市町村自治ならこの筋交いはさらさらしない
事実19: あのアメリカ外交は暴行事件であるがしかし点検出来ない

仮説: もしも「その過血糖はビトーＲ＆Ｄである」ということは真実だとすればあのアメリカ外交は点検出来るけれどそれは囃し立てない
1. 仮定1: 以下のように仮定する。「このＡドライブは建て替えるが暴行事件でない」ということは成り立つということはない
2. 事実4と仮定1から、推論1: "その過血糖はビトーＲ＆Ｄでない"が導かれる
3. 仮定2: 以下のように仮定する。その過血糖はビトーＲ＆Ｄだ
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "このＡドライブは建て替える一方で暴行事件でない"が導かれる
6. 推論3と事実2から、推論4: "その硝酸薬は上げ難くない"が導かれる
7. 推論4と事実15から、推論5: "この密室はさらさらしないかまたはそれは上げ難くない"が導かれる
8. 推論5と事実10と事実5から、推論6: "この筋交いは市町村自治である"が導かれる
9. 推論6と事実14から、推論7: "あのアメリカ外交は点検出来る一方で囃し立てない"が導かれる
10. [仮定2]と推論7から、仮説が導かれる

よって、仮説が証明されました。