この魔法使い達は自己防衛しない
fact1: なにがしかのものは別れないとしたら「それは徹底しないし厳くない」ということは誤りである fact2: 仮にその船員が尊くないとすれば植え替えるしさらにＡ罪だ fact3: もし何らかのものは厳くないなら「疲れ難くて更に徹底する」ということは成り立たない fact4: 仮にその船員が植え替えるとしたら七十一参照であるし加えて呆気なくない fact5: その船員は崩れ始めれば「あのスクリプトウィンドウは呆気なくない一方でそれは崩れ始める」ということは誤りであるということはない fact6: もし「あの織り布は自己防衛するかあるいは別れるかどちらもだ」ということは嘘ならこの魔法使い達は自己防衛しない fact7: もしも「なんらかのものは別れない」ということは成り立てば「徹底しないが厳い」ということは誤りである fact8: もし「その先駆的意義は疲れ難いしその上徹底する」ということは偽であるとするとあの織り布は疲れ難くない fact9: 疲れ難い物はある fact10: もし「その先駆的意義は差し障りである」ということは成り立てばその船員は崩れ始める fact11: もし仮に「疲れ難い」ものがあるならあの織り布は別れない fact12: もしあのスクリプトウィンドウが自己防衛するとしたらこの魔法使い達は呆気ない fact13: 仮に何らかの物は憎たらしいとすれば「七十一参照である」ということは正しい fact14: 仮に「あの織り布は徹底しないしそれは厳いということはない」ということは成り立たないならその先駆的意義は差し障りだ fact15: 仮に「その船員は厳い一方で崩れ始めない」ということは確かでないならばあの先駆的意義は厳くない fact16: もし仮にあのスクリプトウィンドウが呆気なくないが崩れ始めるとするとこの魔法使い達は憎たらしい fact17: もしもその船員が呆気なくないならばそれは差し障りだし更に憎たらしい fact18: もし何らかの物は差し障りであるとすれば「それは厳いがしかし崩れ始めない」ということは事実と異なる fact19: 「あの教育方式は協同組合である」ということは成り立つ fact20: 仮になにかは七十一参照であるならそれは自己防衛する fact21: もし仮にあのスクリプトウィンドウが呆気ないし崩れ始めるとすれば「この魔法使い達は憎たらしい」ということは事実だ
fact9 & fact11 -> int1: あの織り布は別れない; fact1 -> int2: 「あの織り布は別れるということはないならば「あの織り布は徹底しないししかも厳くない」ということは誤りだ」ということは確かだ; int1 & int2 -> int3: 「あの織り布は徹底しないしそれに厳くない」ということは間違っている; int3 & fact14 -> int4: その先駆的意義は差し障りである; int4 & fact10 -> int5: その船員は崩れ始める; int5 & fact5 -> int6: あのスクリプトウィンドウは呆気なくない一方で崩れ始める; int6 & fact16 -> int7: この魔法使い達は憎たらしい; fact13 -> int8: この魔法使い達が憎たらしいとしたら七十一参照である; int7 & int8 -> int9: この魔法使い達は七十一参照である; fact20 -> int10: もしもこの魔法使い達は七十一参照であるとすれば自己防衛する; int9 & int10 -> hypothesis;
「この魔法使い達は自己防衛する」ということは成り立たない
fact25 -> int11: もし仮にその先駆的意義は厳くないならば「疲れ難くて徹底する」ということは誤りである; fact23 -> int12: もし仮にその船員は差し障りであるとしたら「それは厳いし崩れ始めない」ということは正しくない;
$facts$ = fact1: なにがしかのものは別れないとしたら「それは徹底しないし厳くない」ということは誤りである fact2: 仮にその船員が尊くないとすれば植え替えるしさらにＡ罪だ fact3: もし何らかのものは厳くないなら「疲れ難くて更に徹底する」ということは成り立たない fact4: 仮にその船員が植え替えるとしたら七十一参照であるし加えて呆気なくない fact5: その船員は崩れ始めれば「あのスクリプトウィンドウは呆気なくない一方でそれは崩れ始める」ということは誤りであるということはない fact6: もし「あの織り布は自己防衛するかあるいは別れるかどちらもだ」ということは嘘ならこの魔法使い達は自己防衛しない fact7: もしも「なんらかのものは別れない」ということは成り立てば「徹底しないが厳い」ということは誤りである fact8: もし「その先駆的意義は疲れ難いしその上徹底する」ということは偽であるとするとあの織り布は疲れ難くない fact9: 疲れ難い物はある fact10: もし「その先駆的意義は差し障りである」ということは成り立てばその船員は崩れ始める fact11: もし仮に「疲れ難い」ものがあるならあの織り布は別れない fact12: もしあのスクリプトウィンドウが自己防衛するとしたらこの魔法使い達は呆気ない fact13: 仮に何らかの物は憎たらしいとすれば「七十一参照である」ということは正しい fact14: 仮に「あの織り布は徹底しないしそれは厳いということはない」ということは成り立たないならその先駆的意義は差し障りだ fact15: 仮に「その船員は厳い一方で崩れ始めない」ということは確かでないならばあの先駆的意義は厳くない fact16: もし仮にあのスクリプトウィンドウが呆気なくないが崩れ始めるとするとこの魔法使い達は憎たらしい fact17: もしもその船員が呆気なくないならばそれは差し障りだし更に憎たらしい fact18: もし何らかの物は差し障りであるとすれば「それは厳いがしかし崩れ始めない」ということは事実と異なる fact19: 「あの教育方式は協同組合である」ということは成り立つ fact20: 仮になにかは七十一参照であるならそれは自己防衛する fact21: もし仮にあのスクリプトウィンドウが呆気ないし崩れ始めるとすれば「この魔法使い達は憎たらしい」ということは事実だ ; $hypothesis$ = この魔法使い達は自己防衛しない ; $proof$ = 
fact9 & fact11 -> int1: あの織り布は別れない; fact1 -> int2: 「あの織り布は別れるということはないならば「あの織り布は徹底しないししかも厳くない」ということは誤りだ」ということは確かだ; int1 & int2 -> int3: 「あの織り布は徹底しないしそれに厳くない」ということは間違っている; int3 & fact14 -> int4: その先駆的意義は差し障りである; int4 & fact10 -> int5: その船員は崩れ始める; int5 & fact5 -> int6: あのスクリプトウィンドウは呆気なくない一方で崩れ始める; int6 & fact16 -> int7: この魔法使い達は憎たらしい; fact13 -> int8: この魔法使い達が憎たらしいとしたら七十一参照である; int7 & int8 -> int9: この魔法使い達は七十一参照である; fact20 -> int10: もしもこの魔法使い達は七十一参照であるとすれば自己防衛する; int9 & int10 -> hypothesis; __DISPROVED__
事実1: なにがしかのものは別れないとしたら「それは徹底しないし厳くない」ということは誤りである
事実2: 仮にその船員が尊くないとすれば植え替えるしさらにＡ罪だ
事実3: もし何らかのものは厳くないなら「疲れ難くて更に徹底する」ということは成り立たない
事実4: 仮にその船員が植え替えるとしたら七十一参照であるし加えて呆気なくない
事実5: その船員は崩れ始めれば「あのスクリプトウィンドウは呆気なくない一方でそれは崩れ始める」ということは誤りであるということはない
事実6: もし「あの織り布は自己防衛するかあるいは別れるかどちらもだ」ということは嘘ならこの魔法使い達は自己防衛しない
事実7: もしも「なんらかのものは別れない」ということは成り立てば「徹底しないが厳い」ということは誤りである
事実8: もし「その先駆的意義は疲れ難いしその上徹底する」ということは偽であるとするとあの織り布は疲れ難くない
事実9: 疲れ難い物はある
事実10: もし「その先駆的意義は差し障りである」ということは成り立てばその船員は崩れ始める
事実11: もし仮に「疲れ難い」ものがあるならあの織り布は別れない
事実12: もしあのスクリプトウィンドウが自己防衛するとしたらこの魔法使い達は呆気ない
事実13: 仮に何らかの物は憎たらしいとすれば「七十一参照である」ということは正しい
事実14: 仮に「あの織り布は徹底しないしそれは厳いということはない」ということは成り立たないならその先駆的意義は差し障りだ
事実15: 仮に「その船員は厳い一方で崩れ始めない」ということは確かでないならばあの先駆的意義は厳くない
事実16: もし仮にあのスクリプトウィンドウが呆気なくないが崩れ始めるとするとこの魔法使い達は憎たらしい
事実17: もしもその船員が呆気なくないならばそれは差し障りだし更に憎たらしい
事実18: もし何らかの物は差し障りであるとすれば「それは厳いがしかし崩れ始めない」ということは事実と異なる
事実19: 「あの教育方式は協同組合である」ということは成り立つ
事実20: 仮になにかは七十一参照であるならそれは自己防衛する
事実21: もし仮にあのスクリプトウィンドウが呆気ないし崩れ始めるとすれば「この魔法使い達は憎たらしい」ということは事実だ

仮説: この魔法使い達は自己防衛しない
1. 事実9と事実11から、推論1: "あの織り布は別れない"が導かれる
2. 事実1から、推論2: "「あの織り布は別れるということはないならば「あの織り布は徹底しないししかも厳くない」ということは誤りだ」ということは確かだ"が導かれる
3. 推論1と推論2から、推論3: "「あの織り布は徹底しないしそれに厳くない」ということは間違っている"が導かれる
4. 推論3と事実14から、推論4: "その先駆的意義は差し障りである"が導かれる
5. 推論4と事実10から、推論5: "その船員は崩れ始める"が導かれる
6. 推論5と事実5から、推論6: "あのスクリプトウィンドウは呆気なくない一方で崩れ始める"が導かれる
7. 推論6と事実16から、推論7: "この魔法使い達は憎たらしい"が導かれる
8. 事実13から、推論8: "この魔法使い達が憎たらしいとしたら七十一参照である"が導かれる
9. 推論7と推論8から、推論9: "この魔法使い達は七十一参照である"が導かれる
10. 事実20から、推論10: "もしもこの魔法使い達は七十一参照であるとすれば自己防衛する"が導かれる
11. 推論9と推論10から、仮説が否定される

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