あの七十一参照は浅ましがしかし魂消ない
fact1: 働き難くない物はストックする一方で勾引でない fact2: その最高判は因数分解する fact3: あの設営隊は因数分解する fact4: 仮にあの設営隊が因数分解するとするとその抗炎症剤は働き難くない fact5: もしその抗炎症剤は勾引でないとすれば「あの七十一参照は浅ましけど魂消ない」ということは成り立たない fact6: もし「あの七十一参照は因数分解しない」ということは誤っているとしたら浅ましが魂消るということはない fact7: もし仮にその抗炎症剤が働き難くないとすればそれはストックする fact8: もし仮にとあるものがストックしないとすればそれは働き難くてかつ因数分解する
fact4 & fact3 -> int1: その抗炎症剤は働き難くない; fact1 -> int2: もしその抗炎症剤が働き難くないならばそれはストックするしそれは勾引でない; int1 & int2 -> int3: その抗炎症剤はストックする一方で勾引でない; int3 -> int4: その抗炎症剤は勾引でない; int4 & fact5 -> hypothesis;
あの七十一参照は浅まし一方でそれは魂消ない
fact10 -> int5: 「もしあの七十一参照がストックしないとすればあの七十一参照は働き難くてさらに因数分解する」ということは事実である;
$facts$ = fact1: 働き難くない物はストックする一方で勾引でない fact2: その最高判は因数分解する fact3: あの設営隊は因数分解する fact4: 仮にあの設営隊が因数分解するとするとその抗炎症剤は働き難くない fact5: もしその抗炎症剤は勾引でないとすれば「あの七十一参照は浅ましけど魂消ない」ということは成り立たない fact6: もし「あの七十一参照は因数分解しない」ということは誤っているとしたら浅ましが魂消るということはない fact7: もし仮にその抗炎症剤が働き難くないとすればそれはストックする fact8: もし仮にとあるものがストックしないとすればそれは働き難くてかつ因数分解する ; $hypothesis$ = あの七十一参照は浅ましがしかし魂消ない ; $proof$ = 
fact4 & fact3 -> int1: その抗炎症剤は働き難くない; fact1 -> int2: もしその抗炎症剤が働き難くないならばそれはストックするしそれは勾引でない; int1 & int2 -> int3: その抗炎症剤はストックする一方で勾引でない; int3 -> int4: その抗炎症剤は勾引でない; int4 & fact5 -> hypothesis; __DISPROVED__
事実1: 働き難くない物はストックする一方で勾引でない
事実2: その最高判は因数分解する
事実3: あの設営隊は因数分解する
事実4: 仮にあの設営隊が因数分解するとするとその抗炎症剤は働き難くない
事実5: もしその抗炎症剤は勾引でないとすれば「あの七十一参照は浅ましけど魂消ない」ということは成り立たない
事実6: もし「あの七十一参照は因数分解しない」ということは誤っているとしたら浅ましが魂消るということはない
事実7: もし仮にその抗炎症剤が働き難くないとすればそれはストックする
事実8: もし仮にとあるものがストックしないとすればそれは働き難くてかつ因数分解する

仮説: あの七十一参照は浅ましがしかし魂消ない
1. 事実4と事実3から、推論1: "その抗炎症剤は働き難くない"が導かれる
2. 事実1から、推論2: "もしその抗炎症剤が働き難くないならばそれはストックするしそれは勾引でない"が導かれる
3. 推論1と推論2から、推論3: "その抗炎症剤はストックする一方で勾引でない"が導かれる
4. 推論3から、推論4: "その抗炎症剤は勾引でない"が導かれる
5. 推論4と事実5から、仮説が否定される

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