この卓上カレンダーは語り合える
fact1: 仮に「語り合えない」物があるとするとこの卓上カレンダーは消し去らない fact2: 仮にこの卓上カレンダーが想到するということはないならばそれは語り合えるしその上むず痒い fact3: もし「あの大型甑は消し去らないしかつ外箱でない」ということは成り立たないならその各種は四角くない fact4: もし仮に「この再発性は想到するということはないかまたは冊封するかあるいは両方ともである」ということは成り立つということはないとしたらその各種は消し去る fact5: もしもこの再発性は冊封すれば「この卓上カレンダーは想到しない」ということは確かだ fact6: 「むず痒くない」ものはある fact7: 仮にこの補給物資は朝毎であるということはないとしたら「あの大型甑は消し去るということはないし外箱でない」ということは成り立つということはない fact8: もしも「なにかは冊封しない一方でそれは四角い」ということは嘘だとしたら冊封する fact9: 「むず痒くない」物はあるとしたら「この再発性は想到するということはないかそれは冊封するかもしくはどちらもである」ということは誤っている fact10: もしこの卓上カレンダーが四角いとすればそれは語り合えない fact11: もしもこの補給物資が過てば朝毎だということはなくてまたそれは生臭い fact12: もしその各種が消し去るとするとこの卓上カレンダーは四角い fact13: もしその各種が消し去るとすればそれは語り合えない
fact6 & fact9 -> int1: 「この再発性は想到しないかあるいは冊封するかもしくはどちらもである」ということは成り立たない; int1 & fact4 -> int2: その各種は消し去る; int2 & fact12 -> int3: この卓上カレンダーは四角い; int3 & fact10 -> hypothesis;
この卓上カレンダーは語り合える
fact15 -> int4: もしも「この再発性は冊封しないがしかし四角い」ということは成り立たないならば冊封する;
$facts$ = fact1: 仮に「語り合えない」物があるとするとこの卓上カレンダーは消し去らない fact2: 仮にこの卓上カレンダーが想到するということはないならばそれは語り合えるしその上むず痒い fact3: もし「あの大型甑は消し去らないしかつ外箱でない」ということは成り立たないならその各種は四角くない fact4: もし仮に「この再発性は想到するということはないかまたは冊封するかあるいは両方ともである」ということは成り立つということはないとしたらその各種は消し去る fact5: もしもこの再発性は冊封すれば「この卓上カレンダーは想到しない」ということは確かだ fact6: 「むず痒くない」ものはある fact7: 仮にこの補給物資は朝毎であるということはないとしたら「あの大型甑は消し去るということはないし外箱でない」ということは成り立つということはない fact8: もしも「なにかは冊封しない一方でそれは四角い」ということは嘘だとしたら冊封する fact9: 「むず痒くない」物はあるとしたら「この再発性は想到するということはないかそれは冊封するかもしくはどちらもである」ということは誤っている fact10: もしこの卓上カレンダーが四角いとすればそれは語り合えない fact11: もしもこの補給物資が過てば朝毎だということはなくてまたそれは生臭い fact12: もしその各種が消し去るとするとこの卓上カレンダーは四角い fact13: もしその各種が消し去るとすればそれは語り合えない ; $hypothesis$ = この卓上カレンダーは語り合える ; $proof$ = 
fact6 & fact9 -> int1: 「この再発性は想到しないかあるいは冊封するかもしくはどちらもである」ということは成り立たない; int1 & fact4 -> int2: その各種は消し去る; int2 & fact12 -> int3: この卓上カレンダーは四角い; int3 & fact10 -> hypothesis; __DISPROVED__
事実1: 仮に「語り合えない」物があるとするとこの卓上カレンダーは消し去らない
事実2: 仮にこの卓上カレンダーが想到するということはないならばそれは語り合えるしその上むず痒い
事実3: もし「あの大型甑は消し去らないしかつ外箱でない」ということは成り立たないならその各種は四角くない
事実4: もし仮に「この再発性は想到するということはないかまたは冊封するかあるいは両方ともである」ということは成り立つということはないとしたらその各種は消し去る
事実5: もしもこの再発性は冊封すれば「この卓上カレンダーは想到しない」ということは確かだ
事実6: 「むず痒くない」ものはある
事実7: 仮にこの補給物資は朝毎であるということはないとしたら「あの大型甑は消し去るということはないし外箱でない」ということは成り立つということはない
事実8: もしも「なにかは冊封しない一方でそれは四角い」ということは嘘だとしたら冊封する
事実9: 「むず痒くない」物はあるとしたら「この再発性は想到するということはないかそれは冊封するかもしくはどちらもである」ということは誤っている
事実10: もしこの卓上カレンダーが四角いとすればそれは語り合えない
事実11: もしもこの補給物資が過てば朝毎だということはなくてまたそれは生臭い
事実12: もしその各種が消し去るとするとこの卓上カレンダーは四角い
事実13: もしその各種が消し去るとすればそれは語り合えない

仮説: この卓上カレンダーは語り合える
1. 事実6と事実9から、推論1: "「この再発性は想到しないかあるいは冊封するかもしくはどちらもである」ということは成り立たない"が導かれる
2. 推論1と事実4から、推論2: "その各種は消し去る"が導かれる
3. 推論2と事実12から、推論3: "この卓上カレンダーは四角い"が導かれる
4. 推論3と事実10から、仮説が否定される

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