「「この字書は隔たるがしかし頼り無くない」ということは誤りだ」ということは本当だ
fact1: その素材・エネルギーは石油ショックでないならば杉木立ちだ fact2: この字書は生じ兼ねる fact3: 「このＢ男さんは因り難くない」ということは真実である fact4: その素材・エネルギーは杉木立ちでないなら因り難い fact5: もしこのＢ男さんは因り難いとしたら「この字書は隔たるけど頼り無くない」ということは成り立たない fact6: もし仮にとあるものが有限責任事業組合でないなら杉木立ちでまた生じ兼ねる fact7: もし仮にこの字書が生じ兼ねるとしたらそれは隔たる fact8: 仮にこのＢ男さんが痛々しいならそれは女殺し屋でないしおまけにちょろくない fact9: なんらかの物が頼り無いとするとそれは杉木立ちでない fact10: もし仮になにがしかの物が女殺し屋でないしおまけにそれはちょろくないならば「有限責任事業組合だということはない」ということは間違っていない fact11: もしもこのＢ男さんが頼り無くないとすればそれは石油ショックである fact12: 「このＢ男さんは隔たらないかもしくはそれは石油ショックである」ということは成り立たないとすればあの字書は頼り無くない fact13: この字書は展開し易い fact14: その素材・エネルギーは杉木立ちであるということはない fact15: 「このＢ男さんは石油ショックでないかあるいは展開し易いかまたはどちらもだ」ということは嘘だとすればこの字書は頼り無くない fact16: 「その素材・エネルギーは石油ショックである」ということは事実だ fact17: このＢ男さんは展開し易くない fact18: その素材・エネルギーは生じ兼ねらない fact19: もしこのＢ男さんが石油ショックであるということはないかそれが展開し易いならばあの素材・エネルギーは因り難くない fact20: もしも「この字書は隔たるということはないか石油ショックであるかあるいはどちらもである」ということは成り立たないならこのＢ男さんは頼り無くない fact21: もし「その素材・エネルギーは石油ショックであるということはないか杉木立ちであるか両方である」ということは事実と異なるとすると「このＢ男さんは生じ兼ねらない」ということは成り立つ fact22: もしも「その素材・エネルギーは隔たるか杉木立ちであるかもしくは両方ともだ」ということは誤っているならこの字書は頼り無いということはない
void -> assump1: 以下のように仮定する。このＢ男さんは石油ショックでないかまたはそれは展開し易い; fact19 & assump1 -> int1: その素材・エネルギーは因り難いということはない; fact4 & fact14 -> int2: その素材・エネルギーは因り難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このＢ男さんは石油ショックでないかもしくは展開し易いかどちらもである」ということは偽だ; int4 & fact15 -> int5: この字書は頼り無いということはない; fact2 & fact7 -> int6: 「この字書は隔たる」ということは真実だ; int5 & int6 -> hypothesis;
この自由派は杉木立ちでない
fact23 -> int7: もし仮にこの自由派が頼り無いとしたら杉木立ちでない;
$facts$ = fact1: その素材・エネルギーは石油ショックでないならば杉木立ちだ fact2: この字書は生じ兼ねる fact3: 「このＢ男さんは因り難くない」ということは真実である fact4: その素材・エネルギーは杉木立ちでないなら因り難い fact5: もしこのＢ男さんは因り難いとしたら「この字書は隔たるけど頼り無くない」ということは成り立たない fact6: もし仮にとあるものが有限責任事業組合でないなら杉木立ちでまた生じ兼ねる fact7: もし仮にこの字書が生じ兼ねるとしたらそれは隔たる fact8: 仮にこのＢ男さんが痛々しいならそれは女殺し屋でないしおまけにちょろくない fact9: なんらかの物が頼り無いとするとそれは杉木立ちでない fact10: もし仮になにがしかの物が女殺し屋でないしおまけにそれはちょろくないならば「有限責任事業組合だということはない」ということは間違っていない fact11: もしもこのＢ男さんが頼り無くないとすればそれは石油ショックである fact12: 「このＢ男さんは隔たらないかもしくはそれは石油ショックである」ということは成り立たないとすればあの字書は頼り無くない fact13: この字書は展開し易い fact14: その素材・エネルギーは杉木立ちであるということはない fact15: 「このＢ男さんは石油ショックでないかあるいは展開し易いかまたはどちらもだ」ということは嘘だとすればこの字書は頼り無くない fact16: 「その素材・エネルギーは石油ショックである」ということは事実だ fact17: このＢ男さんは展開し易くない fact18: その素材・エネルギーは生じ兼ねらない fact19: もしこのＢ男さんが石油ショックであるということはないかそれが展開し易いならばあの素材・エネルギーは因り難くない fact20: もしも「この字書は隔たるということはないか石油ショックであるかあるいはどちらもである」ということは成り立たないならこのＢ男さんは頼り無くない fact21: もし「その素材・エネルギーは石油ショックであるということはないか杉木立ちであるか両方である」ということは事実と異なるとすると「このＢ男さんは生じ兼ねらない」ということは成り立つ fact22: もしも「その素材・エネルギーは隔たるか杉木立ちであるかもしくは両方ともだ」ということは誤っているならこの字書は頼り無いということはない ; $hypothesis$ = 「「この字書は隔たるがしかし頼り無くない」ということは誤りだ」ということは本当だ ; $proof$ = 
void -> assump1: 以下のように仮定する。このＢ男さんは石油ショックでないかまたはそれは展開し易い; fact19 & assump1 -> int1: その素材・エネルギーは因り難いということはない; fact4 & fact14 -> int2: その素材・エネルギーは因り難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このＢ男さんは石油ショックでないかもしくは展開し易いかどちらもである」ということは偽だ; int4 & fact15 -> int5: この字書は頼り無いということはない; fact2 & fact7 -> int6: 「この字書は隔たる」ということは真実だ; int5 & int6 -> hypothesis; __DISPROVED__
事実1: その素材・エネルギーは石油ショックでないならば杉木立ちだ
事実2: この字書は生じ兼ねる
事実3: 「このＢ男さんは因り難くない」ということは真実である
事実4: その素材・エネルギーは杉木立ちでないなら因り難い
事実5: もしこのＢ男さんは因り難いとしたら「この字書は隔たるけど頼り無くない」ということは成り立たない
事実6: もし仮にとあるものが有限責任事業組合でないなら杉木立ちでまた生じ兼ねる
事実7: もし仮にこの字書が生じ兼ねるとしたらそれは隔たる
事実8: 仮にこのＢ男さんが痛々しいならそれは女殺し屋でないしおまけにちょろくない
事実9: なんらかの物が頼り無いとするとそれは杉木立ちでない
事実10: もし仮になにがしかの物が女殺し屋でないしおまけにそれはちょろくないならば「有限責任事業組合だということはない」ということは間違っていない
事実11: もしもこのＢ男さんが頼り無くないとすればそれは石油ショックである
事実12: 「このＢ男さんは隔たらないかもしくはそれは石油ショックである」ということは成り立たないとすればあの字書は頼り無くない
事実13: この字書は展開し易い
事実14: その素材・エネルギーは杉木立ちであるということはない
事実15: 「このＢ男さんは石油ショックでないかあるいは展開し易いかまたはどちらもだ」ということは嘘だとすればこの字書は頼り無くない
事実16: 「その素材・エネルギーは石油ショックである」ということは事実だ
事実17: このＢ男さんは展開し易くない
事実18: その素材・エネルギーは生じ兼ねらない
事実19: もしこのＢ男さんが石油ショックであるということはないかそれが展開し易いならばあの素材・エネルギーは因り難くない
事実20: もしも「この字書は隔たるということはないか石油ショックであるかあるいはどちらもである」ということは成り立たないならこのＢ男さんは頼り無くない
事実21: もし「その素材・エネルギーは石油ショックであるということはないか杉木立ちであるか両方である」ということは事実と異なるとすると「このＢ男さんは生じ兼ねらない」ということは成り立つ
事実22: もしも「その素材・エネルギーは隔たるか杉木立ちであるかもしくは両方ともだ」ということは誤っているならこの字書は頼り無いということはない

仮説: 「「この字書は隔たるがしかし頼り無くない」ということは誤りだ」ということは本当だ
1. 仮定1: 以下のように仮定する。このＢ男さんは石油ショックでないかまたはそれは展開し易い
2. 事実19と仮定1から、推論1: "その素材・エネルギーは因り難いということはない"が導かれる
3. 事実4と事実14から、推論2: "その素材・エネルギーは因り難い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「このＢ男さんは石油ショックでないかもしくは展開し易いかどちらもである」ということは偽だ"が導かれる
6. 推論4と事実15から、推論5: "この字書は頼り無いということはない"が導かれる
7. 事実2と事実7から、推論6: "「この字書は隔たる」ということは真実だ"が導かれる
8. 推論5と推論6から、仮説が否定される

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