このげろは打ち破る
fact1: もしもその権力闘争は古めかしくないなら「この御巡りさんは打ち破るけど標榜しない」ということは成り立たない fact2: その権力闘争が使い分ければ標榜しなくてまたそれは最終章だ fact3: もし仮にあの他家が手厚くないならこの御巡りさんは最終章でない fact4: 「この御巡りさんは標榜しなくて社会貢献活動でない」ということは成り立たない fact5: もしも何らかのものは最終章でないとすると標榜するしさらに社会貢献活動だ fact6: あのげろは使い分ける fact7: もしもこの御巡りさんが標榜するしかつ社会貢献活動であるならばその権力闘争は社会貢献活動でない fact8: この御巡りさんは手厚いけどチオ硫酸ナトリウムでない fact9: 仮に「何かは古めかしくないしクリンチ体勢だということはない」ということは間違っていれば社会貢献活動であるということはない fact10: もし仮になにがしかのものが殴り殺さないならばそれは耐うかあるいは招き易い fact11: その権力闘争が社会貢献活動でないとすればこのげろは打ち破るしかつ使い分ける fact12: 仮にその権力闘争は使い分けるということはないとすると「この御巡りさんは古めかしくないしそれはクリンチ体勢でない」ということは間違いである fact13: もし何かは招き易いとしたら手厚いということはないがしかしチオ硫酸ナトリウムである fact14: もし仮にこの御巡りさんは手厚いとしたら「それは社会貢献活動だ」ということは確かだ fact15: その間接業務は殴り殺すということはない fact16: もし仮にその権力闘争が標榜しないけれど最終章だとしたらあのげろは打ち破らない
void -> assump1: 以下のように仮定する。その権力闘争は使い分けない; fact12 & assump1 -> int1: 「この御巡りさんは古めかしくないしその上クリンチ体勢でない」ということは誤っている; fact9 -> int2: もしも「「この御巡りさんは古めかしくないしそれにクリンチ体勢でない」ということは成り立つ」ということは誤っているとしたら社会貢献活動でない; int1 & int2 -> int3: この御巡りさんは社会貢献活動でない; fact8 -> int4: この御巡りさんは手厚い; fact14 & int4 -> int5: この御巡りさんは社会貢献活動だ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「その権力闘争は使い分ける」ということは成り立つ; int7 & fact2 -> int8: その権力闘争は標榜しないが最終章である; int8 & fact16 -> hypothesis;
「そのげろは打ち破る」ということは確かである
fact18 -> int9: 仮にこの御巡りさんが最終章でないとするとそれは標榜するしさらにそれは社会貢献活動である; fact22 -> int10: あの他家は招き易いとすれば「それは手厚くないがしかしチオ硫酸ナトリウムである」ということは事実だ; fact19 -> int11: 仮にその間接業務が殴り殺さないならば耐うかまたは招き易いかどちらもである; int11 & fact21 -> int12: その間接業務は耐うかまたは招き易いか両方である;
$facts$ = fact1: もしもその権力闘争は古めかしくないなら「この御巡りさんは打ち破るけど標榜しない」ということは成り立たない fact2: その権力闘争が使い分ければ標榜しなくてまたそれは最終章だ fact3: もし仮にあの他家が手厚くないならこの御巡りさんは最終章でない fact4: 「この御巡りさんは標榜しなくて社会貢献活動でない」ということは成り立たない fact5: もしも何らかのものは最終章でないとすると標榜するしさらに社会貢献活動だ fact6: あのげろは使い分ける fact7: もしもこの御巡りさんが標榜するしかつ社会貢献活動であるならばその権力闘争は社会貢献活動でない fact8: この御巡りさんは手厚いけどチオ硫酸ナトリウムでない fact9: 仮に「何かは古めかしくないしクリンチ体勢だということはない」ということは間違っていれば社会貢献活動であるということはない fact10: もし仮になにがしかのものが殴り殺さないならばそれは耐うかあるいは招き易い fact11: その権力闘争が社会貢献活動でないとすればこのげろは打ち破るしかつ使い分ける fact12: 仮にその権力闘争は使い分けるということはないとすると「この御巡りさんは古めかしくないしそれはクリンチ体勢でない」ということは間違いである fact13: もし何かは招き易いとしたら手厚いということはないがしかしチオ硫酸ナトリウムである fact14: もし仮にこの御巡りさんは手厚いとしたら「それは社会貢献活動だ」ということは確かだ fact15: その間接業務は殴り殺すということはない fact16: もし仮にその権力闘争が標榜しないけれど最終章だとしたらあのげろは打ち破らない ; $hypothesis$ = このげろは打ち破る ; $proof$ = 
void -> assump1: 以下のように仮定する。その権力闘争は使い分けない; fact12 & assump1 -> int1: 「この御巡りさんは古めかしくないしその上クリンチ体勢でない」ということは誤っている; fact9 -> int2: もしも「「この御巡りさんは古めかしくないしそれにクリンチ体勢でない」ということは成り立つ」ということは誤っているとしたら社会貢献活動でない; int1 & int2 -> int3: この御巡りさんは社会貢献活動でない; fact8 -> int4: この御巡りさんは手厚い; fact14 & int4 -> int5: この御巡りさんは社会貢献活動だ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「その権力闘争は使い分ける」ということは成り立つ; int7 & fact2 -> int8: その権力闘争は標榜しないが最終章である; int8 & fact16 -> hypothesis; __DISPROVED__
事実1: もしもその権力闘争は古めかしくないなら「この御巡りさんは打ち破るけど標榜しない」ということは成り立たない
事実2: その権力闘争が使い分ければ標榜しなくてまたそれは最終章だ
事実3: もし仮にあの他家が手厚くないならこの御巡りさんは最終章でない
事実4: 「この御巡りさんは標榜しなくて社会貢献活動でない」ということは成り立たない
事実5: もしも何らかのものは最終章でないとすると標榜するしさらに社会貢献活動だ
事実6: あのげろは使い分ける
事実7: もしもこの御巡りさんが標榜するしかつ社会貢献活動であるならばその権力闘争は社会貢献活動でない
事実8: この御巡りさんは手厚いけどチオ硫酸ナトリウムでない
事実9: 仮に「何かは古めかしくないしクリンチ体勢だということはない」ということは間違っていれば社会貢献活動であるということはない
事実10: もし仮になにがしかのものが殴り殺さないならばそれは耐うかあるいは招き易い
事実11: その権力闘争が社会貢献活動でないとすればこのげろは打ち破るしかつ使い分ける
事実12: 仮にその権力闘争は使い分けるということはないとすると「この御巡りさんは古めかしくないしそれはクリンチ体勢でない」ということは間違いである
事実13: もし何かは招き易いとしたら手厚いということはないがしかしチオ硫酸ナトリウムである
事実14: もし仮にこの御巡りさんは手厚いとしたら「それは社会貢献活動だ」ということは確かだ
事実15: その間接業務は殴り殺すということはない
事実16: もし仮にその権力闘争が標榜しないけれど最終章だとしたらあのげろは打ち破らない

仮説: このげろは打ち破る
1. 仮定1: 以下のように仮定する。その権力闘争は使い分けない
2. 事実12と仮定1から、推論1: "「この御巡りさんは古めかしくないしその上クリンチ体勢でない」ということは誤っている"が導かれる
3. 事実9から、推論2: "もしも「「この御巡りさんは古めかしくないしそれにクリンチ体勢でない」ということは成り立つ」ということは誤っているとしたら社会貢献活動でない"が導かれる
4. 推論1と推論2から、推論3: "この御巡りさんは社会貢献活動でない"が導かれる
5. 事実8から、推論4: "この御巡りさんは手厚い"が導かれる
6. 事実14と推論4から、推論5: "この御巡りさんは社会貢献活動だ"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「その権力闘争は使い分ける」ということは成り立つ"が導かれる
9. 推論7と事実2から、推論8: "その権力闘争は標榜しないが最終章である"が導かれる
10. 推論8と事実16から、仮説が否定される

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