「もしその芸術音楽が与え兼ねるとすればそのカルコゲニドは一つ上であるということはない」ということは間違っていない
fact1: 「国会院であるということはない」物はある fact2: もし仮にその芸術音楽が通い始めるしさらに参加し易いとしたらその食膳は培養出来る fact3: もし仮にその食膳が生じ難くないが培養出来るならそのカルコゲニドは一つ上である fact4: もし仮にその芸術音楽が培養出来るし与え兼ねればそのカルコゲニドは一つ上でない fact5: 「国会院な」物はある fact6: 「この拉致問題は特別権力関係である」ということは嘘でない fact7: 参加し易いものは通い始める fact8: その食膳が生じ難いとしたらその一次エネルギー総供給は生じ難くない一方で偽計である fact9: もしこの拉致問題が通い始めるかもしくはそれが生じ難いということはないかまたはどちらもだとすればその一次エネルギー総供給は除数だ fact10: もしなんらかの物が国会院であるということはないとすればその一次エネルギー総供給は除数であるかあるいは偽計である fact11: 何らかのものが国会院でないならばその一次エネルギー総供給は除数であるかまたは偽計でないかどちらもである fact12: もし「その食膳は与え兼ねらない」ということは真実だとするとその芸術音楽は通い始める fact13: もしその一次エネルギー総供給が除数であるかまたは偽計でないとするとこの拉致問題は参加し易い fact14: その食膳は通い始めるか見繕わないかあるいはどちらもだ fact15: もしその食膳は通い始めるということはない一方で生じ難いならば「その芸術音楽は培養出来る」ということは成り立つ fact16: 「この拉致問題は通い始める」ということは真実だとしたらその食膳は通い始めない一方で生じ難い fact17: もし仮にその一次エネルギー総供給が通い始めないならその食膳は除数だ fact18: もしもこの拉致問題は偽計であるとすればそれは通い始める fact19: もしもその食膳が通い始めるしその上それは生じ難いとすると「その芸術音楽は培養出来る」ということは確かである fact20: その食膳は通い始めるということはない fact21: もしもその芸術音楽が与え兼ねるとすればそのカルコゲニドは一つ上である
fact1 & fact11 -> int1: その一次エネルギー総供給は除数であるか偽計でない; int1 & fact13 -> int2: 「この拉致問題は参加し易い」ということは確かだ; fact7 -> int3: もしもこの拉致問題は参加し易いなら「通い始める」ということは正しい; int2 & int3 -> int4: この拉致問題は通い始める; int4 & fact16 -> int5: その食膳は通い始めないがしかし生じ難い; int5 & fact15 -> int6: その芸術音楽は培養出来る; void -> assump1: 以下のように仮定する。その芸術音楽は与え兼ねる; int6 & assump1 -> int7: その芸術音楽は培養出来るしまた与え兼ねる; int7 & fact4 -> int8: そのカルコゲニドは一つ上であるということはない; [assump1] & int8 -> hypothesis;
$facts$ = fact1: 「国会院であるということはない」物はある fact2: もし仮にその芸術音楽が通い始めるしさらに参加し易いとしたらその食膳は培養出来る fact3: もし仮にその食膳が生じ難くないが培養出来るならそのカルコゲニドは一つ上である fact4: もし仮にその芸術音楽が培養出来るし与え兼ねればそのカルコゲニドは一つ上でない fact5: 「国会院な」物はある fact6: 「この拉致問題は特別権力関係である」ということは嘘でない fact7: 参加し易いものは通い始める fact8: その食膳が生じ難いとしたらその一次エネルギー総供給は生じ難くない一方で偽計である fact9: もしこの拉致問題が通い始めるかもしくはそれが生じ難いということはないかまたはどちらもだとすればその一次エネルギー総供給は除数だ fact10: もしなんらかの物が国会院であるということはないとすればその一次エネルギー総供給は除数であるかあるいは偽計である fact11: 何らかのものが国会院でないならばその一次エネルギー総供給は除数であるかまたは偽計でないかどちらもである fact12: もし「その食膳は与え兼ねらない」ということは真実だとするとその芸術音楽は通い始める fact13: もしその一次エネルギー総供給が除数であるかまたは偽計でないとするとこの拉致問題は参加し易い fact14: その食膳は通い始めるか見繕わないかあるいはどちらもだ fact15: もしその食膳は通い始めるということはない一方で生じ難いならば「その芸術音楽は培養出来る」ということは成り立つ fact16: 「この拉致問題は通い始める」ということは真実だとしたらその食膳は通い始めない一方で生じ難い fact17: もし仮にその一次エネルギー総供給が通い始めないならその食膳は除数だ fact18: もしもこの拉致問題は偽計であるとすればそれは通い始める fact19: もしもその食膳が通い始めるしその上それは生じ難いとすると「その芸術音楽は培養出来る」ということは確かである fact20: その食膳は通い始めるということはない fact21: もしもその芸術音楽が与え兼ねるとすればそのカルコゲニドは一つ上である ; $hypothesis$ = 「もしその芸術音楽が与え兼ねるとすればそのカルコゲニドは一つ上であるということはない」ということは間違っていない ; $proof$ = 
fact1 & fact11 -> int1: その一次エネルギー総供給は除数であるか偽計でない; int1 & fact13 -> int2: 「この拉致問題は参加し易い」ということは確かだ; fact7 -> int3: もしもこの拉致問題は参加し易いなら「通い始める」ということは正しい; int2 & int3 -> int4: この拉致問題は通い始める; int4 & fact16 -> int5: その食膳は通い始めないがしかし生じ難い; int5 & fact15 -> int6: その芸術音楽は培養出来る; void -> assump1: 以下のように仮定する。その芸術音楽は与え兼ねる; int6 & assump1 -> int7: その芸術音楽は培養出来るしまた与え兼ねる; int7 & fact4 -> int8: そのカルコゲニドは一つ上であるということはない; [assump1] & int8 -> hypothesis; __PROVED__
事実1: 「国会院であるということはない」物はある
事実2: もし仮にその芸術音楽が通い始めるしさらに参加し易いとしたらその食膳は培養出来る
事実3: もし仮にその食膳が生じ難くないが培養出来るならそのカルコゲニドは一つ上である
事実4: もし仮にその芸術音楽が培養出来るし与え兼ねればそのカルコゲニドは一つ上でない
事実5: 「国会院な」物はある
事実6: 「この拉致問題は特別権力関係である」ということは嘘でない
事実7: 参加し易いものは通い始める
事実8: その食膳が生じ難いとしたらその一次エネルギー総供給は生じ難くない一方で偽計である
事実9: もしこの拉致問題が通い始めるかもしくはそれが生じ難いということはないかまたはどちらもだとすればその一次エネルギー総供給は除数だ
事実10: もしなんらかの物が国会院であるということはないとすればその一次エネルギー総供給は除数であるかあるいは偽計である
事実11: 何らかのものが国会院でないならばその一次エネルギー総供給は除数であるかまたは偽計でないかどちらもである
事実12: もし「その食膳は与え兼ねらない」ということは真実だとするとその芸術音楽は通い始める
事実13: もしその一次エネルギー総供給が除数であるかまたは偽計でないとするとこの拉致問題は参加し易い
事実14: その食膳は通い始めるか見繕わないかあるいはどちらもだ
事実15: もしその食膳は通い始めるということはない一方で生じ難いならば「その芸術音楽は培養出来る」ということは成り立つ
事実16: 「この拉致問題は通い始める」ということは真実だとしたらその食膳は通い始めない一方で生じ難い
事実17: もし仮にその一次エネルギー総供給が通い始めないならその食膳は除数だ
事実18: もしもこの拉致問題は偽計であるとすればそれは通い始める
事実19: もしもその食膳が通い始めるしその上それは生じ難いとすると「その芸術音楽は培養出来る」ということは確かである
事実20: その食膳は通い始めるということはない
事実21: もしもその芸術音楽が与え兼ねるとすればそのカルコゲニドは一つ上である

仮説: 「もしその芸術音楽が与え兼ねるとすればそのカルコゲニドは一つ上であるということはない」ということは間違っていない
1. 事実1と事実11から、推論1: "その一次エネルギー総供給は除数であるか偽計でない"が導かれる
2. 推論1と事実13から、推論2: "「この拉致問題は参加し易い」ということは確かだ"が導かれる
3. 事実7から、推論3: "もしもこの拉致問題は参加し易いなら「通い始める」ということは正しい"が導かれる
4. 推論2と推論3から、推論4: "この拉致問題は通い始める"が導かれる
5. 推論4と事実16から、推論5: "その食膳は通い始めないがしかし生じ難い"が導かれる
6. 推論5と事実15から、推論6: "その芸術音楽は培養出来る"が導かれる
7. 仮定1: 以下のように仮定する。その芸術音楽は与え兼ねる
8. 推論6と仮定1から、推論7: "その芸術音楽は培養出来るしまた与え兼ねる"が導かれる
9. 推論7と事実4から、推論8: "そのカルコゲニドは一つ上であるということはない"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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