その審査会はブール代数でない
fact1: なにかは乱打しないとしたら次期政権だということはなくてエネルギーＨνでない fact2: もしその成膜材料が見境無くないとすれば受け入れられ易くない fact3: 仮に「「次期政権であるしかつ乱打する」ということは間違いな」物があればこの出欠席・備考等は私らしい fact4: もし仮にこの出欠席・備考等は私らしいかあるいは血清療法であるかあるいはどちらもなら「その審査会はブール代数でない」ということは本当だ fact5: 仮にその成膜材料が跳ね踊るとするとそれは見境無い fact6: もし「この出欠席・備考等は裏付けする」ということは成り立つとするとその成膜材料は合する fact7: もしも「あるものは乱打するけど血清療法でない」ということは事実でないならば乱打するということはない fact8: もしもその成膜材料は合するとすれば「それは跳ね踊らない」ということは偽だ fact9: ブール代数は私らしい fact10: その成膜材料は共同連帯でない fact11: 仮にその成膜材料が次期政権でなくてその上それがエネルギーＨνであるということはないならこの堰堤は受け入れられ易くない fact12: 仮にこの出欠席・備考等が乱打するということはないならそれは血清療法でない fact13: もしその成膜材料が見境無いとするとそれは私らしくない fact14: 「「その審査会はブール代数であるししかも血清療法だ」ということは確かでない」ということは成り立つ fact15: 何らかの物が乱打しないならば受け入れられ易くてそれは次期政権だ fact16: もしもある物は私らしくないとすると「それは血清療法であるしおまけにそれは乱打する」ということは事実と異なる fact17: もし仮に何かはエネルギーＨνでないなら「次期政権であるしその上それは乱打する」ということは本当でない fact18: その成膜材料は見境無くない fact19: もしもその成膜材料はエネルギーＨνだとすると「受け入れられ易い」ということは真実だ
void -> assump1: 以下のように仮定する。その成膜材料はエネルギーＨνである; fact19 & assump1 -> int1: その成膜材料は受け入れられ易い; fact18 & fact2 -> int2: その成膜材料は受け入れられ易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その成膜材料はエネルギーＨνでない」ということは事実だ; fact17 -> int5: その成膜材料はエネルギーＨνでないならば「それは次期政権であるししかも乱打する」ということは成り立たない; int4 & int5 -> int6: 「その成膜材料は次期政権であるし乱打する」ということは誤りだ; int6 -> int7: 「「次期政権でまた乱打する」ということは成り立たない」ものはある; int7 & fact3 -> int8: この出欠席・備考等は私らしい; int8 -> int9: この出欠席・備考等は私らしいかもしくはそれは血清療法だ; int9 & fact4 -> hypothesis;
その審査会はブール代数だ
fact25 -> int10: 「その審査会は乱打しない」ということは真実だとするとそれは受け入れられ易くて次期政権である; fact23 -> int11: もし仮にその成膜材料は私らしくないならば「血清療法だしまたそれは乱打する」ということは嘘である;
$facts$ = fact1: なにかは乱打しないとしたら次期政権だということはなくてエネルギーＨνでない fact2: もしその成膜材料が見境無くないとすれば受け入れられ易くない fact3: 仮に「「次期政権であるしかつ乱打する」ということは間違いな」物があればこの出欠席・備考等は私らしい fact4: もし仮にこの出欠席・備考等は私らしいかあるいは血清療法であるかあるいはどちらもなら「その審査会はブール代数でない」ということは本当だ fact5: 仮にその成膜材料が跳ね踊るとするとそれは見境無い fact6: もし「この出欠席・備考等は裏付けする」ということは成り立つとするとその成膜材料は合する fact7: もしも「あるものは乱打するけど血清療法でない」ということは事実でないならば乱打するということはない fact8: もしもその成膜材料は合するとすれば「それは跳ね踊らない」ということは偽だ fact9: ブール代数は私らしい fact10: その成膜材料は共同連帯でない fact11: 仮にその成膜材料が次期政権でなくてその上それがエネルギーＨνであるということはないならこの堰堤は受け入れられ易くない fact12: 仮にこの出欠席・備考等が乱打するということはないならそれは血清療法でない fact13: もしその成膜材料が見境無いとするとそれは私らしくない fact14: 「「その審査会はブール代数であるししかも血清療法だ」ということは確かでない」ということは成り立つ fact15: 何らかの物が乱打しないならば受け入れられ易くてそれは次期政権だ fact16: もしもある物は私らしくないとすると「それは血清療法であるしおまけにそれは乱打する」ということは事実と異なる fact17: もし仮に何かはエネルギーＨνでないなら「次期政権であるしその上それは乱打する」ということは本当でない fact18: その成膜材料は見境無くない fact19: もしもその成膜材料はエネルギーＨνだとすると「受け入れられ易い」ということは真実だ ; $hypothesis$ = その審査会はブール代数でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その成膜材料はエネルギーＨνである; fact19 & assump1 -> int1: その成膜材料は受け入れられ易い; fact18 & fact2 -> int2: その成膜材料は受け入れられ易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その成膜材料はエネルギーＨνでない」ということは事実だ; fact17 -> int5: その成膜材料はエネルギーＨνでないならば「それは次期政権であるししかも乱打する」ということは成り立たない; int4 & int5 -> int6: 「その成膜材料は次期政権であるし乱打する」ということは誤りだ; int6 -> int7: 「「次期政権でまた乱打する」ということは成り立たない」ものはある; int7 & fact3 -> int8: この出欠席・備考等は私らしい; int8 -> int9: この出欠席・備考等は私らしいかもしくはそれは血清療法だ; int9 & fact4 -> hypothesis; __PROVED__
事実1: なにかは乱打しないとしたら次期政権だということはなくてエネルギーＨνでない
事実2: もしその成膜材料が見境無くないとすれば受け入れられ易くない
事実3: 仮に「「次期政権であるしかつ乱打する」ということは間違いな」物があればこの出欠席・備考等は私らしい
事実4: もし仮にこの出欠席・備考等は私らしいかあるいは血清療法であるかあるいはどちらもなら「その審査会はブール代数でない」ということは本当だ
事実5: 仮にその成膜材料が跳ね踊るとするとそれは見境無い
事実6: もし「この出欠席・備考等は裏付けする」ということは成り立つとするとその成膜材料は合する
事実7: もしも「あるものは乱打するけど血清療法でない」ということは事実でないならば乱打するということはない
事実8: もしもその成膜材料は合するとすれば「それは跳ね踊らない」ということは偽だ
事実9: ブール代数は私らしい
事実10: その成膜材料は共同連帯でない
事実11: 仮にその成膜材料が次期政権でなくてその上それがエネルギーＨνであるということはないならこの堰堤は受け入れられ易くない
事実12: 仮にこの出欠席・備考等が乱打するということはないならそれは血清療法でない
事実13: もしその成膜材料が見境無いとするとそれは私らしくない
事実14: 「「その審査会はブール代数であるししかも血清療法だ」ということは確かでない」ということは成り立つ
事実15: 何らかの物が乱打しないならば受け入れられ易くてそれは次期政権だ
事実16: もしもある物は私らしくないとすると「それは血清療法であるしおまけにそれは乱打する」ということは事実と異なる
事実17: もし仮に何かはエネルギーＨνでないなら「次期政権であるしその上それは乱打する」ということは本当でない
事実18: その成膜材料は見境無くない
事実19: もしもその成膜材料はエネルギーＨνだとすると「受け入れられ易い」ということは真実だ

仮説: その審査会はブール代数でない
1. 仮定1: 以下のように仮定する。その成膜材料はエネルギーＨνである
2. 事実19と仮定1から、推論1: "その成膜材料は受け入れられ易い"が導かれる
3. 事実18と事実2から、推論2: "その成膜材料は受け入れられ易くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その成膜材料はエネルギーＨνでない」ということは事実だ"が導かれる
6. 事実17から、推論5: "その成膜材料はエネルギーＨνでないならば「それは次期政権であるししかも乱打する」ということは成り立たない"が導かれる
7. 推論4と推論5から、推論6: "「その成膜材料は次期政権であるし乱打する」ということは誤りだ"が導かれる
8. 推論6から、推論7: "「「次期政権でまた乱打する」ということは成り立たない」ものはある"が導かれる
9. 推論7と事実3から、推論8: "この出欠席・備考等は私らしい"が導かれる
10. 推論8から、推論9: "この出欠席・備考等は私らしいかもしくはそれは血清療法だ"が導かれる
11. 推論9と事実4から、仮説が導かれる

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