「この二百余年は怒鳴り込むということはないしハロペリドールでない」ということは事実と異なる
fact1: 仮にあの十三日民集は生き難いけれど嫌がるということはないとすればそれはハロペリドールである fact2: 仮に「この二百余年は嫌がる」ということは確かならば「あの十三日民集はハロペリドールでなくてそれは嫌がらない」ということは誤っている fact3: なにがしかのものは素早くないなら「それはおっかなくなくて北方領土だということはない」ということは本当でない fact4: もしも「なにかはおっかなくなくて北方領土でない」ということは成り立たないとするとそれは誤解され易くない fact5: 「この二百余年は生き難い」ということは正しい fact6: もしもあの十三日民集はハロペリドールだとしたら「この二百余年は怒鳴り込まないけどハロペリドールだ」ということは事実と異なる fact7: なんらかの物が守り続ければあの十三日民集は生き難くない fact8: あの十三日民集は生き難くない fact9: もし仮にあの十三日民集が生き難いということはなくてかつそれが嫌がらないとしたらハロペリドールである fact10: あの十三日民集はハロペリドールならば「この二百余年は怒鳴り込まないししかもハロペリドールでない」ということは本当だということはない fact11: 「この二百余年は嫌がるがしかしそれはハロペリドールだということはない」ということは誤りだ fact12: 「この二百余年は怒鳴り込まない一方でハロペリドールだ」ということは嘘である fact13: 「もし仮に何かは守り続けるとするとあの十三日民集は生き難くなくて嫌がらない」ということは成り立つ fact14: その新救貧法が絵だけど取り成さないならばそれは素早くない fact15: なにがしかのものは守り続ける fact16: 「この二百余年は怒鳴り込むがハロペリドールでない」ということは誤りである fact17: もしあの十三日民集が守り続けないとすればこの二百余年は怒鳴り込まないしハロペリドールでない fact18: もしあの十三日民集は生き難くなくてハロペリドールでないならばそれは怒鳴り込む fact19: その新救貧法は絵だけれどそれは取り成さない fact20: もしあの十三日民集はハロペリドールならば「この二百余年は怒鳴り込む一方でハロペリドールだということはない」ということは成り立たない
fact15 & fact13 -> int1: あの十三日民集は生き難くなくて嫌がるということはない; int1 & fact9 -> int2: あの十三日民集はハロペリドールだ; int2 & fact10 -> hypothesis;
この二百余年は怒鳴り込まないしハロペリドールでない
fact25 -> int3: もし「その新救貧法はおっかなくなくてそれは北方領土でない」ということは成り立たないなら「誤解され易くない」ということは嘘でない; fact21 -> int4: もしもその新救貧法は素早くないならば「おっかなくないししかも北方領土でない」ということは事実と異なる; fact24 & fact23 -> int5: その新救貧法は素早くない; int4 & int5 -> int6: 「その新救貧法はおっかなくないしまた北方領土でない」ということは成り立たない; int3 & int6 -> int7: その新救貧法は誤解され易くない; int7 -> int8: 何かは誤解され易くない;
$facts$ = fact1: 仮にあの十三日民集は生き難いけれど嫌がるということはないとすればそれはハロペリドールである fact2: 仮に「この二百余年は嫌がる」ということは確かならば「あの十三日民集はハロペリドールでなくてそれは嫌がらない」ということは誤っている fact3: なにがしかのものは素早くないなら「それはおっかなくなくて北方領土だということはない」ということは本当でない fact4: もしも「なにかはおっかなくなくて北方領土でない」ということは成り立たないとするとそれは誤解され易くない fact5: 「この二百余年は生き難い」ということは正しい fact6: もしもあの十三日民集はハロペリドールだとしたら「この二百余年は怒鳴り込まないけどハロペリドールだ」ということは事実と異なる fact7: なんらかの物が守り続ければあの十三日民集は生き難くない fact8: あの十三日民集は生き難くない fact9: もし仮にあの十三日民集が生き難いということはなくてかつそれが嫌がらないとしたらハロペリドールである fact10: あの十三日民集はハロペリドールならば「この二百余年は怒鳴り込まないししかもハロペリドールでない」ということは本当だということはない fact11: 「この二百余年は嫌がるがしかしそれはハロペリドールだということはない」ということは誤りだ fact12: 「この二百余年は怒鳴り込まない一方でハロペリドールだ」ということは嘘である fact13: 「もし仮に何かは守り続けるとするとあの十三日民集は生き難くなくて嫌がらない」ということは成り立つ fact14: その新救貧法が絵だけど取り成さないならばそれは素早くない fact15: なにがしかのものは守り続ける fact16: 「この二百余年は怒鳴り込むがハロペリドールでない」ということは誤りである fact17: もしあの十三日民集が守り続けないとすればこの二百余年は怒鳴り込まないしハロペリドールでない fact18: もしあの十三日民集は生き難くなくてハロペリドールでないならばそれは怒鳴り込む fact19: その新救貧法は絵だけれどそれは取り成さない fact20: もしあの十三日民集はハロペリドールならば「この二百余年は怒鳴り込む一方でハロペリドールだということはない」ということは成り立たない ; $hypothesis$ = 「この二百余年は怒鳴り込むということはないしハロペリドールでない」ということは事実と異なる ; $proof$ = 
fact15 & fact13 -> int1: あの十三日民集は生き難くなくて嫌がるということはない; int1 & fact9 -> int2: あの十三日民集はハロペリドールだ; int2 & fact10 -> hypothesis; __PROVED__
事実1: 仮にあの十三日民集は生き難いけれど嫌がるということはないとすればそれはハロペリドールである
事実2: 仮に「この二百余年は嫌がる」ということは確かならば「あの十三日民集はハロペリドールでなくてそれは嫌がらない」ということは誤っている
事実3: なにがしかのものは素早くないなら「それはおっかなくなくて北方領土だということはない」ということは本当でない
事実4: もしも「なにかはおっかなくなくて北方領土でない」ということは成り立たないとするとそれは誤解され易くない
事実5: 「この二百余年は生き難い」ということは正しい
事実6: もしもあの十三日民集はハロペリドールだとしたら「この二百余年は怒鳴り込まないけどハロペリドールだ」ということは事実と異なる
事実7: なんらかの物が守り続ければあの十三日民集は生き難くない
事実8: あの十三日民集は生き難くない
事実9: もし仮にあの十三日民集が生き難いということはなくてかつそれが嫌がらないとしたらハロペリドールである
事実10: あの十三日民集はハロペリドールならば「この二百余年は怒鳴り込まないししかもハロペリドールでない」ということは本当だということはない
事実11: 「この二百余年は嫌がるがしかしそれはハロペリドールだということはない」ということは誤りだ
事実12: 「この二百余年は怒鳴り込まない一方でハロペリドールだ」ということは嘘である
事実13: 「もし仮に何かは守り続けるとするとあの十三日民集は生き難くなくて嫌がらない」ということは成り立つ
事実14: その新救貧法が絵だけど取り成さないならばそれは素早くない
事実15: なにがしかのものは守り続ける
事実16: 「この二百余年は怒鳴り込むがハロペリドールでない」ということは誤りである
事実17: もしあの十三日民集が守り続けないとすればこの二百余年は怒鳴り込まないしハロペリドールでない
事実18: もしあの十三日民集は生き難くなくてハロペリドールでないならばそれは怒鳴り込む
事実19: その新救貧法は絵だけれどそれは取り成さない
事実20: もしあの十三日民集はハロペリドールならば「この二百余年は怒鳴り込む一方でハロペリドールだということはない」ということは成り立たない

仮説: 「この二百余年は怒鳴り込むということはないしハロペリドールでない」ということは事実と異なる
1. 事実15と事実13から、推論1: "あの十三日民集は生き難くなくて嫌がるということはない"が導かれる
2. 推論1と事実9から、推論2: "あの十三日民集はハロペリドールだ"が導かれる
3. 推論2と事実10から、仮説が導かれる

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