この五義は分かち難い
fact1: 「この五義は分かち難いがしかし特保であるということはない」ということは成り立たない fact2: その椎弓根が分かち難いということはないしさらに太り易くない fact3: 「そのシングルクリックは言い逃れる」ということは正しい fact4: その金銭関係は晴れがましいし嫉妬深い fact5: 「この申請時は着陸しないがしかしオン／オフする」ということは成り立たない fact6: 晴れがましい物が嫉妬深いとするとそれは着陸しない fact7: この五義は食い止めないし更に先回りしない fact8: 何かはオン／オフしないとすると「それは特保であるし加えて炭化する」ということは本当でない fact9: もし何かは特保でないとすると「それは分かち難くないしまた言い逃れない」ということは誤っているということはない fact10: その寝袋は炭化する fact11: 「この五義は着陸する一方で言い逃れない」ということは嘘だ fact12: この腎臓移植は言い逃れる fact13: この申請時は言い逃れる fact14: もし仮に「その椎弓根は炭化しなくて綿毛でない」ということは成り立たないならば言い逃れる fact15: もし何らかの物が着陸するならそれは分かち難い fact16: もし「とある物は言い逃れないし特保でない」ということは嘘だとしたらオン／オフする fact17: この五義は共同住宅である fact18: 仮に「この申請時はオン／オフするしおまけに綿毛である」ということは成り立たないならそれはオン／オフしない fact19: 仮にこの申請時がオン／オフするならその金銭関係は炭化する fact20: その金銭関係が炭化するとすればその椎弓根は綿毛である fact21: 「この申請時は特保であるし更に炭化する」ということは成り立たないとすればこの五義は特保であるということはない fact22: 「なにがしかの物は分かち難くないしそれに特保でない」ということは間違っているとしたら「綿毛である」ということは成り立つ fact23: その椎弓根が綿毛ならばあの五義は着陸する
void -> assump1: 以下のように仮定する。この申請時は言い逃れないしさらに特保でない; assump1 -> int1: 「この申請時は言い逃れない」ということは本当である; int1 & fact13 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「この申請時は言い逃れないしかつ特保でない」ということは成り立つ」ということは成り立たない; fact16 -> int4: 「この申請時は言い逃れないし特保でない」ということは間違いだとするとオン／オフする; int3 & int4 -> int5: この申請時はオン／オフする; int5 & fact19 -> int6: その金銭関係は炭化する; int6 & fact20 -> int7: その椎弓根は綿毛である; int7 & fact23 -> int8: 「この五義は着陸する」ということは正しい; fact15 -> int9: もしも「この五義は着陸する」ということは成り立てば分かち難い; int8 & int9 -> hypothesis;
この五義は分かち難くない
fact29 -> int10: もしもこの五義は特保であるということはないならばそれは分かち難くないし更に言い逃れない; fact26 -> int11: もしもこの申請時はオン／オフするということはないとしたら「それは特保であるし炭化する」ということは成り立たない; fact24 -> int12: もしその金銭関係は晴れがましいしそれに嫉妬深いならそれは着陸するということはない; int12 & fact25 -> int13: その金銭関係は着陸しない; int13 -> int14: 「「着陸しない」ということは真実な」ものはある;
$facts$ = fact1: 「この五義は分かち難いがしかし特保であるということはない」ということは成り立たない fact2: その椎弓根が分かち難いということはないしさらに太り易くない fact3: 「そのシングルクリックは言い逃れる」ということは正しい fact4: その金銭関係は晴れがましいし嫉妬深い fact5: 「この申請時は着陸しないがしかしオン／オフする」ということは成り立たない fact6: 晴れがましい物が嫉妬深いとするとそれは着陸しない fact7: この五義は食い止めないし更に先回りしない fact8: 何かはオン／オフしないとすると「それは特保であるし加えて炭化する」ということは本当でない fact9: もし何かは特保でないとすると「それは分かち難くないしまた言い逃れない」ということは誤っているということはない fact10: その寝袋は炭化する fact11: 「この五義は着陸する一方で言い逃れない」ということは嘘だ fact12: この腎臓移植は言い逃れる fact13: この申請時は言い逃れる fact14: もし仮に「その椎弓根は炭化しなくて綿毛でない」ということは成り立たないならば言い逃れる fact15: もし何らかの物が着陸するならそれは分かち難い fact16: もし「とある物は言い逃れないし特保でない」ということは嘘だとしたらオン／オフする fact17: この五義は共同住宅である fact18: 仮に「この申請時はオン／オフするしおまけに綿毛である」ということは成り立たないならそれはオン／オフしない fact19: 仮にこの申請時がオン／オフするならその金銭関係は炭化する fact20: その金銭関係が炭化するとすればその椎弓根は綿毛である fact21: 「この申請時は特保であるし更に炭化する」ということは成り立たないとすればこの五義は特保であるということはない fact22: 「なにがしかの物は分かち難くないしそれに特保でない」ということは間違っているとしたら「綿毛である」ということは成り立つ fact23: その椎弓根が綿毛ならばあの五義は着陸する ; $hypothesis$ = この五義は分かち難い ; $proof$ = 
void -> assump1: 以下のように仮定する。この申請時は言い逃れないしさらに特保でない; assump1 -> int1: 「この申請時は言い逃れない」ということは本当である; int1 & fact13 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「この申請時は言い逃れないしかつ特保でない」ということは成り立つ」ということは成り立たない; fact16 -> int4: 「この申請時は言い逃れないし特保でない」ということは間違いだとするとオン／オフする; int3 & int4 -> int5: この申請時はオン／オフする; int5 & fact19 -> int6: その金銭関係は炭化する; int6 & fact20 -> int7: その椎弓根は綿毛である; int7 & fact23 -> int8: 「この五義は着陸する」ということは正しい; fact15 -> int9: もしも「この五義は着陸する」ということは成り立てば分かち難い; int8 & int9 -> hypothesis; __PROVED__
事実1: 「この五義は分かち難いがしかし特保であるということはない」ということは成り立たない
事実2: その椎弓根が分かち難いということはないしさらに太り易くない
事実3: 「そのシングルクリックは言い逃れる」ということは正しい
事実4: その金銭関係は晴れがましいし嫉妬深い
事実5: 「この申請時は着陸しないがしかしオン／オフする」ということは成り立たない
事実6: 晴れがましい物が嫉妬深いとするとそれは着陸しない
事実7: この五義は食い止めないし更に先回りしない
事実8: 何かはオン／オフしないとすると「それは特保であるし加えて炭化する」ということは本当でない
事実9: もし何かは特保でないとすると「それは分かち難くないしまた言い逃れない」ということは誤っているということはない
事実10: その寝袋は炭化する
事実11: 「この五義は着陸する一方で言い逃れない」ということは嘘だ
事実12: この腎臓移植は言い逃れる
事実13: この申請時は言い逃れる
事実14: もし仮に「その椎弓根は炭化しなくて綿毛でない」ということは成り立たないならば言い逃れる
事実15: もし何らかの物が着陸するならそれは分かち難い
事実16: もし「とある物は言い逃れないし特保でない」ということは嘘だとしたらオン／オフする
事実17: この五義は共同住宅である
事実18: 仮に「この申請時はオン／オフするしおまけに綿毛である」ということは成り立たないならそれはオン／オフしない
事実19: 仮にこの申請時がオン／オフするならその金銭関係は炭化する
事実20: その金銭関係が炭化するとすればその椎弓根は綿毛である
事実21: 「この申請時は特保であるし更に炭化する」ということは成り立たないとすればこの五義は特保であるということはない
事実22: 「なにがしかの物は分かち難くないしそれに特保でない」ということは間違っているとしたら「綿毛である」ということは成り立つ
事実23: その椎弓根が綿毛ならばあの五義は着陸する

仮説: この五義は分かち難い
1. 仮定1: 以下のように仮定する。この申請時は言い逃れないしさらに特保でない
2. 仮定1から、推論1: "「この申請時は言い逃れない」ということは本当である"が導かれる
3. 推論1と事実13から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「「この申請時は言い逃れないしかつ特保でない」ということは成り立つ」ということは成り立たない"が導かれる
5. 事実16から、推論4: "「この申請時は言い逃れないし特保でない」ということは間違いだとするとオン／オフする"が導かれる
6. 推論3と推論4から、推論5: "この申請時はオン／オフする"が導かれる
7. 推論5と事実19から、推論6: "その金銭関係は炭化する"が導かれる
8. 推論6と事実20から、推論7: "その椎弓根は綿毛である"が導かれる
9. 推論7と事実23から、推論8: "「この五義は着陸する」ということは正しい"が導かれる
10. 事実15から、推論9: "もしも「この五義は着陸する」ということは成り立てば分かち難い"が導かれる
11. 推論8と推論9から、仮説が導かれる

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