「この産着は発生し難いけどそれはクロスしない」ということは嘘である
fact1: なにがしかのものが木版でないとしたらこのポータブルトイレは罹り易い fact2: この産着はクロスするということはない fact3: 仮に何らかのものが生かし切れないなら木版でないしおまけに分配出来ない fact4: 仮に何かは羅列するなら三グラムＰであるということはない fact5: もしもなにかは退散するとすればそれは羅列する fact6: 仮に「「おっかなくなくてかつドライイチジクだ」ということは嘘である」ものがあるとするとあの区分所有権はドライイチジクでない fact7: 仮になにがしかのものが退散するならそれはクロスしない fact8: もしあの鉄器時代は退散するとすれば「この産着は発生し難いけれどクロスするということはない」ということは成り立たない fact9: 仮にあの板厚は西蓮寺でないとすると「おっかなくない一方でドライイチジクだ」ということは間違っている fact10: 「もしもこのポータブルトイレが羅列しないならあの鉄器時代が三グラムＰだしさらに退散する」ということは成り立つ fact11: あの駄洒落は退散する fact12: 罹り易い物は紛らわしいかあるいはしこり立たないかまたは両方ともだ fact13: 紛らわしい物は羅列しない fact14: もし仮になにがしかのものが生み難いならば退散しない fact15: あの板厚は西蓮寺でない fact16: あの新参は退散する fact17: 仮にあの駄洒落が三グラムＰでないならばこの産着は発生し難いがそれはクロスしない fact18: なにがしかの物はドライイチジクでないならそれは生かし切れない
fact5 -> int1: もしもあの駄洒落が退散するとすれば羅列する; int1 & fact11 -> int2: 「あの駄洒落は羅列する」ということは正しい; fact4 -> int3: あの駄洒落が羅列するとするとそれは三グラムＰであるということはない; int2 & int3 -> int4: あの駄洒落は三グラムＰであるということはない; int4 & fact17 -> hypothesis;
「「この産着は発生し難いがクロスしない」ということは成り立つ」ということは正しくない
fact26 -> int5: このポータブルトイレが罹り易いとすればそれは紛らわしいかまたはそれはしこり立たないかあるいはどちらもである; fact24 -> int6: もし仮にあの区分所有権が生かし切れないとすると木版でないしそれは分配出来ない; fact27 -> int7: あの区分所有権がドライイチジクでないとすれば生かし切れるということはない; fact23 & fact22 -> int8: 「あの板厚はおっかなくないけれどドライイチジクだ」ということは間違っている; int8 -> int9: 「「おっかなくなくてその上ドライイチジクである」ということは偽である」物はある; int9 & fact25 -> int10: あの区分所有権はドライイチジクでない; int7 & int10 -> int11: あの区分所有権は生かし切れない; int6 & int11 -> int12: あの区分所有権は木版でないし分配出来ない; int12 -> int13: あの区分所有権は木版だということはない; int13 -> int14: なにがしかの物は木版でない; int14 & fact20 -> int15: このポータブルトイレは罹り易い; int5 & int15 -> int16: このポータブルトイレは紛らわしいかあるいはしこり立たない; fact21 -> int17: このポータブルトイレが紛らわしいならばそれは羅列しない;
$facts$ = fact1: なにがしかのものが木版でないとしたらこのポータブルトイレは罹り易い fact2: この産着はクロスするということはない fact3: 仮に何らかのものが生かし切れないなら木版でないしおまけに分配出来ない fact4: 仮に何かは羅列するなら三グラムＰであるということはない fact5: もしもなにかは退散するとすればそれは羅列する fact6: 仮に「「おっかなくなくてかつドライイチジクだ」ということは嘘である」ものがあるとするとあの区分所有権はドライイチジクでない fact7: 仮になにがしかのものが退散するならそれはクロスしない fact8: もしあの鉄器時代は退散するとすれば「この産着は発生し難いけれどクロスするということはない」ということは成り立たない fact9: 仮にあの板厚は西蓮寺でないとすると「おっかなくない一方でドライイチジクだ」ということは間違っている fact10: 「もしもこのポータブルトイレが羅列しないならあの鉄器時代が三グラムＰだしさらに退散する」ということは成り立つ fact11: あの駄洒落は退散する fact12: 罹り易い物は紛らわしいかあるいはしこり立たないかまたは両方ともだ fact13: 紛らわしい物は羅列しない fact14: もし仮になにがしかのものが生み難いならば退散しない fact15: あの板厚は西蓮寺でない fact16: あの新参は退散する fact17: 仮にあの駄洒落が三グラムＰでないならばこの産着は発生し難いがそれはクロスしない fact18: なにがしかの物はドライイチジクでないならそれは生かし切れない ; $hypothesis$ = 「この産着は発生し難いけどそれはクロスしない」ということは嘘である ; $proof$ = 
fact5 -> int1: もしもあの駄洒落が退散するとすれば羅列する; int1 & fact11 -> int2: 「あの駄洒落は羅列する」ということは正しい; fact4 -> int3: あの駄洒落が羅列するとするとそれは三グラムＰであるということはない; int2 & int3 -> int4: あの駄洒落は三グラムＰであるということはない; int4 & fact17 -> hypothesis; __DISPROVED__
事実1: なにがしかのものが木版でないとしたらこのポータブルトイレは罹り易い
事実2: この産着はクロスするということはない
事実3: 仮に何らかのものが生かし切れないなら木版でないしおまけに分配出来ない
事実4: 仮に何かは羅列するなら三グラムＰであるということはない
事実5: もしもなにかは退散するとすればそれは羅列する
事実6: 仮に「「おっかなくなくてかつドライイチジクだ」ということは嘘である」ものがあるとするとあの区分所有権はドライイチジクでない
事実7: 仮になにがしかのものが退散するならそれはクロスしない
事実8: もしあの鉄器時代は退散するとすれば「この産着は発生し難いけれどクロスするということはない」ということは成り立たない
事実9: 仮にあの板厚は西蓮寺でないとすると「おっかなくない一方でドライイチジクだ」ということは間違っている
事実10: 「もしもこのポータブルトイレが羅列しないならあの鉄器時代が三グラムＰだしさらに退散する」ということは成り立つ
事実11: あの駄洒落は退散する
事実12: 罹り易い物は紛らわしいかあるいはしこり立たないかまたは両方ともだ
事実13: 紛らわしい物は羅列しない
事実14: もし仮になにがしかのものが生み難いならば退散しない
事実15: あの板厚は西蓮寺でない
事実16: あの新参は退散する
事実17: 仮にあの駄洒落が三グラムＰでないならばこの産着は発生し難いがそれはクロスしない
事実18: なにがしかの物はドライイチジクでないならそれは生かし切れない

仮説: 「この産着は発生し難いけどそれはクロスしない」ということは嘘である
1. 事実5から、推論1: "もしもあの駄洒落が退散するとすれば羅列する"が導かれる
2. 推論1と事実11から、推論2: "「あの駄洒落は羅列する」ということは正しい"が導かれる
3. 事実4から、推論3: "あの駄洒落が羅列するとするとそれは三グラムＰであるということはない"が導かれる
4. 推論2と推論3から、推論4: "あの駄洒落は三グラムＰであるということはない"が導かれる
5. 推論4と事実17から、仮説が否定される

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