この第二項各号は生体成分でない
fact1: その維持者はばあかしい fact2: なにかはガラス工場ならば「参学しないかもしくはそれは日曜大工でないかまたは両方ともだ」ということは成り立たない fact3: 「この第二項各号は憲法前文でないしさらにばあかしいということはない」ということは誤りである fact4: あるものが参学しないとすると憲法前文であるしガラス工場だ fact5: この労相が憲法前文だとすればあの呂洞賓はばあかしかないけれど日曜大工だ fact6: もしも「この実質為替レートは参学しないかもしくはそれは日曜大工でないかもしくはどちらもだ」ということは成り立たないとすればあの呂洞賓は日曜大工である fact7: 日曜大工はある fact8: 「この労相はいがらっぽくないけれど種全体である」ということは成り立たない fact9: この実質為替レートは御創設する fact10: あの大路は御創設する fact11: もし仮にあの呂洞賓が御構い無くないとするとこの労相は種全体であるということはない fact12: もしもこの実質為替レートが御創設するとしたらそれはガラス工場である fact13: 御構い無いものはある fact14: 「この実質為替レートは参学するということはなくてかつそれは憲法前文でない」ということは確かでない fact15: もしあの大路が生体成分でないとすればこの第二項各号は憲法前文でおまけに生体成分だ fact16: 仮に日曜大工は御構い無いならば「あの大路は生体成分であるということはない」ということは成り立つ fact17: その維持者はばあかしいとすれば「参学しないかまたはいがらっぽくない」ということは誤りだ fact18: あの大路は買い易いしまた編集委員会である fact19: この実質為替レートは活用し易い fact20: もし仮にあるものが御構い無いとすればそれは生体成分だ fact21: もし仮にあの呂洞賓はばあかしいということはないがしかし日曜大工であるとしたら「この実質為替レートは御構い無い」ということは正しい fact22: もしもあの呂洞賓が御構い無くないとすればあの労相はいがらっぽくないししかも種全体でない fact23: 仮にその維持者はばあかしいとすると「この労相はいがらっぽいということはないし更に種全体でない」ということは真実でない fact24: あの長腕は御創設する fact25: もし仮に「何らかの物はガラス工場である」ということは真実ならば日曜大工だ
void -> assump1: 以下のように仮定する。あの呂洞賓は御構い無くない; fact22 & assump1 -> int1: この労相はいがらっぽいということはないしそれに種全体でない; fact1 & fact23 -> int2: 「この労相はいがらっぽくなくてかつ種全体でない」ということは嘘だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの呂洞賓は御構い無い; fact12 & fact9 -> int5: この実質為替レートはガラス工場である; fact2 -> int6: もしもこの実質為替レートはガラス工場だとすれば「それは参学しないかまたはそれは日曜大工でないかあるいは両方ともである」ということは本当でない; int5 & int6 -> int7: 「この実質為替レートは参学しないかあるいはそれは日曜大工でない」ということは間違っている; fact6 & int7 -> int8: あの呂洞賓は日曜大工である; int4 & int8 -> int9: あの呂洞賓は日曜大工だし御構い無い; int9 -> int10: 「日曜大工であるし更に御構い無い」物はある; int10 & fact16 -> int11: あの大路は生体成分であるということはない; int11 & fact15 -> int12: この第二項各号は憲法前文でそれに生体成分である; int12 -> hypothesis;
この実質為替レートは生体成分である
fact26 -> int13: もしこの実質為替レートが御構い無いとしたらそれは生体成分である; fact31 -> int14: この労相が参学しないならばそれは憲法前文だしさらにガラス工場である; fact28 -> int15: あの大路は買い易い; int15 & fact27 -> int16: あの大路は買い易くて御創設する; int16 -> int17: あるものは買い易いし更に御創設する;
$facts$ = fact1: その維持者はばあかしい fact2: なにかはガラス工場ならば「参学しないかもしくはそれは日曜大工でないかまたは両方ともだ」ということは成り立たない fact3: 「この第二項各号は憲法前文でないしさらにばあかしいということはない」ということは誤りである fact4: あるものが参学しないとすると憲法前文であるしガラス工場だ fact5: この労相が憲法前文だとすればあの呂洞賓はばあかしかないけれど日曜大工だ fact6: もしも「この実質為替レートは参学しないかもしくはそれは日曜大工でないかもしくはどちらもだ」ということは成り立たないとすればあの呂洞賓は日曜大工である fact7: 日曜大工はある fact8: 「この労相はいがらっぽくないけれど種全体である」ということは成り立たない fact9: この実質為替レートは御創設する fact10: あの大路は御創設する fact11: もし仮にあの呂洞賓が御構い無くないとするとこの労相は種全体であるということはない fact12: もしもこの実質為替レートが御創設するとしたらそれはガラス工場である fact13: 御構い無いものはある fact14: 「この実質為替レートは参学するということはなくてかつそれは憲法前文でない」ということは確かでない fact15: もしあの大路が生体成分でないとすればこの第二項各号は憲法前文でおまけに生体成分だ fact16: 仮に日曜大工は御構い無いならば「あの大路は生体成分であるということはない」ということは成り立つ fact17: その維持者はばあかしいとすれば「参学しないかまたはいがらっぽくない」ということは誤りだ fact18: あの大路は買い易いしまた編集委員会である fact19: この実質為替レートは活用し易い fact20: もし仮にあるものが御構い無いとすればそれは生体成分だ fact21: もし仮にあの呂洞賓はばあかしいということはないがしかし日曜大工であるとしたら「この実質為替レートは御構い無い」ということは正しい fact22: もしもあの呂洞賓が御構い無くないとすればあの労相はいがらっぽくないししかも種全体でない fact23: 仮にその維持者はばあかしいとすると「この労相はいがらっぽいということはないし更に種全体でない」ということは真実でない fact24: あの長腕は御創設する fact25: もし仮に「何らかの物はガラス工場である」ということは真実ならば日曜大工だ ; $hypothesis$ = この第二項各号は生体成分でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの呂洞賓は御構い無くない; fact22 & assump1 -> int1: この労相はいがらっぽいということはないしそれに種全体でない; fact1 & fact23 -> int2: 「この労相はいがらっぽくなくてかつ種全体でない」ということは嘘だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの呂洞賓は御構い無い; fact12 & fact9 -> int5: この実質為替レートはガラス工場である; fact2 -> int6: もしもこの実質為替レートはガラス工場だとすれば「それは参学しないかまたはそれは日曜大工でないかあるいは両方ともである」ということは本当でない; int5 & int6 -> int7: 「この実質為替レートは参学しないかあるいはそれは日曜大工でない」ということは間違っている; fact6 & int7 -> int8: あの呂洞賓は日曜大工である; int4 & int8 -> int9: あの呂洞賓は日曜大工だし御構い無い; int9 -> int10: 「日曜大工であるし更に御構い無い」物はある; int10 & fact16 -> int11: あの大路は生体成分であるということはない; int11 & fact15 -> int12: この第二項各号は憲法前文でそれに生体成分である; int12 -> hypothesis; __DISPROVED__
事実1: その維持者はばあかしい
事実2: なにかはガラス工場ならば「参学しないかもしくはそれは日曜大工でないかまたは両方ともだ」ということは成り立たない
事実3: 「この第二項各号は憲法前文でないしさらにばあかしいということはない」ということは誤りである
事実4: あるものが参学しないとすると憲法前文であるしガラス工場だ
事実5: この労相が憲法前文だとすればあの呂洞賓はばあかしかないけれど日曜大工だ
事実6: もしも「この実質為替レートは参学しないかもしくはそれは日曜大工でないかもしくはどちらもだ」ということは成り立たないとすればあの呂洞賓は日曜大工である
事実7: 日曜大工はある
事実8: 「この労相はいがらっぽくないけれど種全体である」ということは成り立たない
事実9: この実質為替レートは御創設する
事実10: あの大路は御創設する
事実11: もし仮にあの呂洞賓が御構い無くないとするとこの労相は種全体であるということはない
事実12: もしもこの実質為替レートが御創設するとしたらそれはガラス工場である
事実13: 御構い無いものはある
事実14: 「この実質為替レートは参学するということはなくてかつそれは憲法前文でない」ということは確かでない
事実15: もしあの大路が生体成分でないとすればこの第二項各号は憲法前文でおまけに生体成分だ
事実16: 仮に日曜大工は御構い無いならば「あの大路は生体成分であるということはない」ということは成り立つ
事実17: その維持者はばあかしいとすれば「参学しないかまたはいがらっぽくない」ということは誤りだ
事実18: あの大路は買い易いしまた編集委員会である
事実19: この実質為替レートは活用し易い
事実20: もし仮にあるものが御構い無いとすればそれは生体成分だ
事実21: もし仮にあの呂洞賓はばあかしいということはないがしかし日曜大工であるとしたら「この実質為替レートは御構い無い」ということは正しい
事実22: もしもあの呂洞賓が御構い無くないとすればあの労相はいがらっぽくないししかも種全体でない
事実23: 仮にその維持者はばあかしいとすると「この労相はいがらっぽいということはないし更に種全体でない」ということは真実でない
事実24: あの長腕は御創設する
事実25: もし仮に「何らかの物はガラス工場である」ということは真実ならば日曜大工だ

仮説: この第二項各号は生体成分でない
1. 仮定1: 以下のように仮定する。あの呂洞賓は御構い無くない
2. 事実22と仮定1から、推論1: "この労相はいがらっぽいということはないしそれに種全体でない"が導かれる
3. 事実1と事実23から、推論2: "「この労相はいがらっぽくなくてかつ種全体でない」ということは嘘だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの呂洞賓は御構い無い"が導かれる
6. 事実12と事実9から、推論5: "この実質為替レートはガラス工場である"が導かれる
7. 事実2から、推論6: "もしもこの実質為替レートはガラス工場だとすれば「それは参学しないかまたはそれは日曜大工でないかあるいは両方ともである」ということは本当でない"が導かれる
8. 推論5と推論6から、推論7: "「この実質為替レートは参学しないかあるいはそれは日曜大工でない」ということは間違っている"が導かれる
9. 事実6と推論7から、推論8: "あの呂洞賓は日曜大工である"が導かれる
10. 推論4と推論8から、推論9: "あの呂洞賓は日曜大工だし御構い無い"が導かれる
11. 推論9から、推論10: "「日曜大工であるし更に御構い無い」物はある"が導かれる
12. 推論10と事実16から、推論11: "あの大路は生体成分であるということはない"が導かれる
13. 推論11と事実15から、推論12: "この第二項各号は憲法前文でそれに生体成分である"が導かれる
14. 推論12から、仮説が否定される

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