この用例数は当為だ
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 & fact5 -> int1: この用例数は当為で用法である; int1 & fact2 -> int2: この用例数は預言しない; int2 & fact1 -> int3: 「このブレークスルーは明るさ・コントラストでないけど増え難い」ということは間違いだ; fact15 -> int4: もし仮にこのブレークスルーが黙り続けないならば明るさ・コントラストでないけど増え難い; int4 & fact18 -> int5: このブレークスルーは明るさ・コントラストでない一方でそれは増え難い; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
この用例数は当為である
fact24 -> int7: もし仮にこのブレークスルーが明るさ・コントラストならそれは用法である;
$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 & fact5 -> int1: この用例数は当為で用法である; int1 & fact2 -> int2: この用例数は預言しない; int2 & fact1 -> int3: 「このブレークスルーは明るさ・コントラストでないけど増え難い」ということは間違いだ; fact15 -> int4: もし仮にこのブレークスルーが黙り続けないならば明るさ・コントラストでないけど増え難い; int4 & fact18 -> int5: このブレークスルーは明るさ・コントラストでない一方でそれは増え難い; int3 & int5 -> int6: これは矛盾である; [assump1] & 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: あの擂り身は用法である
事実23: この用例数は作付けしない

仮説: この用例数は当為だ
1. 仮定1: 以下のように仮定する。この用例数は当為だ
2. 仮定1と事実5から、推論1: "この用例数は当為で用法である"が導かれる
3. 推論1と事実2から、推論2: "この用例数は預言しない"が導かれる
4. 推論2と事実1から、推論3: "「このブレークスルーは明るさ・コントラストでないけど増え難い」ということは間違いだ"が導かれる
5. 事実15から、推論4: "もし仮にこのブレークスルーが黙り続けないならば明るさ・コントラストでないけど増え難い"が導かれる
6. 推論4と事実18から、推論5: "このブレークスルーは明るさ・コントラストでない一方でそれは増え難い"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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