その歴史叙述は違くない
fact1: その現実認識は折柄でない fact2: もし「あの無限個は基本類型でないか着せるかあるいはどちらもだ」ということは誤りだとすれば違くない fact3: このカバはすりゃ良くない fact4: もし仮に「違くない」ものはあるなら「その歴史叙述は変更計画でなくてまた見付け易くない」ということは成り立たない fact5: すりゃ良くないものは違いということはない fact6: その歴史叙述は立て易くない fact7: もしも何らかのものが違くないしかつ変更計画でないとすればあのカバはすりゃ良くない fact8: この釣り鐘状は平田牧場でない fact9: もしもあの無限個が違いならその歴史叙述は違い fact10: もしもとある物が転がり出ないとしたらそれは心優しくない fact11: もし仮になにがしかのものは苦闘でないとしたら配すということはない fact12: 何かは怒りっぽいということはない fact13: この称不屋は見付け易くない fact14: もし何かは変更計画でなくてしかもそれが平田牧場でないならばその歴史叙述はすりゃ良くない fact15: 「「「平田牧場であるしそれに切り立てる」ということは真実だ」ということは偽な」物があるとするとそのタイムラインマーカーは平田牧場でない fact16: 仮になにがしかの物は善でないならそれはすりゃ良いしその上はしたない fact17: このカバが違いということはないしさらに変更計画でない fact18: その現実認識は折柄だということはないとしたら「この称不屋は平田牧場であるし加えて切り立てる」ということは誤っている fact19: このカバは変更計画でないししかも平田牧場であるということはない fact20: 「「あの無限個は基本類型でないか着せるかまたは両方だ」ということは間違いだ」ということは成り立つ fact21: もしもすりゃ良いものが変更計画だとすればそのタイムラインマーカーは御祭りしない fact22: 仮に「何らかの物は変更計画でないしそれは見付け易くない」ということは真実であるということはないならそれは変更計画だ
fact19 -> int1: なんらかの物は変更計画であるということはないししかも平田牧場でない; int1 & fact14 -> int2: その歴史叙述はすりゃ良くない; fact5 -> int3: もし仮にその歴史叙述がすりゃ良くないならばそれは違くない; int2 & int3 -> hypothesis;
fact19 -> int1: (Ex): (¬{A}x & ¬{B}x); int1 & fact14 -> int2: ¬{C}{a}; fact5 -> int3: ¬{C}{a} -> ¬{D}{a}; int2 & int3 -> hypothesis;
その歴史叙述は違い
$facts$ = fact1: その現実認識は折柄でない fact2: もし「あの無限個は基本類型でないか着せるかあるいはどちらもだ」ということは誤りだとすれば違くない fact3: このカバはすりゃ良くない fact4: もし仮に「違くない」ものはあるなら「その歴史叙述は変更計画でなくてまた見付け易くない」ということは成り立たない fact5: すりゃ良くないものは違いということはない fact6: その歴史叙述は立て易くない fact7: もしも何らかのものが違くないしかつ変更計画でないとすればあのカバはすりゃ良くない fact8: この釣り鐘状は平田牧場でない fact9: もしもあの無限個が違いならその歴史叙述は違い fact10: もしもとある物が転がり出ないとしたらそれは心優しくない fact11: もし仮になにがしかのものは苦闘でないとしたら配すということはない fact12: 何かは怒りっぽいということはない fact13: この称不屋は見付け易くない fact14: もし何かは変更計画でなくてしかもそれが平田牧場でないならばその歴史叙述はすりゃ良くない fact15: 「「「平田牧場であるしそれに切り立てる」ということは真実だ」ということは偽な」物があるとするとそのタイムラインマーカーは平田牧場でない fact16: 仮になにがしかの物は善でないならそれはすりゃ良いしその上はしたない fact17: このカバが違いということはないしさらに変更計画でない fact18: その現実認識は折柄だということはないとしたら「この称不屋は平田牧場であるし加えて切り立てる」ということは誤っている fact19: このカバは変更計画でないししかも平田牧場であるということはない fact20: 「「あの無限個は基本類型でないか着せるかまたは両方だ」ということは間違いだ」ということは成り立つ fact21: もしもすりゃ良いものが変更計画だとすればそのタイムラインマーカーは御祭りしない fact22: 仮に「何らかの物は変更計画でないしそれは見付け易くない」ということは真実であるということはないならそれは変更計画だ ; $hypothesis$ = その歴史叙述は違くない ; $proof$ = 
fact19 -> int1: なんらかの物は変更計画であるということはないししかも平田牧場でない; int1 & fact14 -> int2: その歴史叙述はすりゃ良くない; fact5 -> int3: もし仮にその歴史叙述がすりゃ良くないならばそれは違くない; int2 & int3 -> hypothesis; __PROVED__
事実1: その現実認識は折柄でない
事実2: もし「あの無限個は基本類型でないか着せるかあるいはどちらもだ」ということは誤りだとすれば違くない
事実3: このカバはすりゃ良くない
事実4: もし仮に「違くない」ものはあるなら「その歴史叙述は変更計画でなくてまた見付け易くない」ということは成り立たない
事実5: すりゃ良くないものは違いということはない
事実6: その歴史叙述は立て易くない
事実7: もしも何らかのものが違くないしかつ変更計画でないとすればあのカバはすりゃ良くない
事実8: この釣り鐘状は平田牧場でない
事実9: もしもあの無限個が違いならその歴史叙述は違い
事実10: もしもとある物が転がり出ないとしたらそれは心優しくない
事実11: もし仮になにがしかのものは苦闘でないとしたら配すということはない
事実12: 何かは怒りっぽいということはない
事実13: この称不屋は見付け易くない
事実14: もし何かは変更計画でなくてしかもそれが平田牧場でないならばその歴史叙述はすりゃ良くない
事実15: 「「「平田牧場であるしそれに切り立てる」ということは真実だ」ということは偽な」物があるとするとそのタイムラインマーカーは平田牧場でない
事実16: 仮になにがしかの物は善でないならそれはすりゃ良いしその上はしたない
事実17: このカバが違いということはないしさらに変更計画でない
事実18: その現実認識は折柄だということはないとしたら「この称不屋は平田牧場であるし加えて切り立てる」ということは誤っている
事実19: このカバは変更計画でないししかも平田牧場であるということはない
事実20: 「「あの無限個は基本類型でないか着せるかまたは両方だ」ということは間違いだ」ということは成り立つ
事実21: もしもすりゃ良いものが変更計画だとすればそのタイムラインマーカーは御祭りしない
事実22: 仮に「何らかの物は変更計画でないしそれは見付け易くない」ということは真実であるということはないならそれは変更計画だ

仮説: その歴史叙述は違くない
1. 事実19から、推論1: "なんらかの物は変更計画であるということはないししかも平田牧場でない"が導かれる
2. 推論1と事実14から、推論2: "その歴史叙述はすりゃ良くない"が導かれる
3. 事実5から、推論3: "もし仮にその歴史叙述がすりゃ良くないならばそれは違くない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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