あの異郷は大便であるし更に埋め合わせる
fact1: 「数日する」ものはある fact2: 仮に「「埋め合わせるかあるいは大便でないかあるいは両方だ」ということは成り立つということはない」ものがあるとしたらあの異郷はきもいということはない fact3: このＩＷＣはきもくない fact4: もし「なにがしかのものは大便でなくてそれにそれは基準財政収入額だということはない」ということは間違っているとすると大便である fact5: 「あの設置運営基準付則は大便できもい」ということは成り立たない fact6: 「このＩＷＣはきもいかまたは数日しない」ということは成り立たない fact7: もしもあの設置運営基準付則は大便であるということはないなら「あの異郷は大便であるしおまけに埋め合わせる」ということは成り立たない fact8: 「「数日するかまたは大便でない」ということは成り立たない」ものはある fact9: 「「きもいかあるいは数日するか両方だ」ということは成り立たない」物はある fact10: 「このＩＷＣは大便であるしその上数日する」ということは間違いである fact11: 「きもいかあるいは数日するということはない」ものはある fact12: 仮に「「きもいかまたは数日しない」ということは偽である」物があるとするとあの設置運営基準付則は大便でない fact13: なんらかの物はきもくない
fact6 -> int1: 「「きもいか数日しないかまたは両方ともだ」ということは真実でない」ものはある; int1 & fact12 -> int2: あの設置運営基準付則は大便だということはない; int2 & fact7 -> hypothesis;
fact6 -> int1: (Ex): ¬({AA}x v ¬{AB}x); int1 & fact12 -> int2: ¬{A}{a}; int2 & fact7 -> hypothesis;
あの異郷が大便だし埋め合わせる
fact14 -> int3: 「あの異郷は大便でないし加えて基準財政収入額でない」ということは嘘ならそれは大便である;
$facts$ = fact1: 「数日する」ものはある fact2: 仮に「「埋め合わせるかあるいは大便でないかあるいは両方だ」ということは成り立つということはない」ものがあるとしたらあの異郷はきもいということはない fact3: このＩＷＣはきもくない fact4: もし「なにがしかのものは大便でなくてそれにそれは基準財政収入額だということはない」ということは間違っているとすると大便である fact5: 「あの設置運営基準付則は大便できもい」ということは成り立たない fact6: 「このＩＷＣはきもいかまたは数日しない」ということは成り立たない fact7: もしもあの設置運営基準付則は大便であるということはないなら「あの異郷は大便であるしおまけに埋め合わせる」ということは成り立たない fact8: 「「数日するかまたは大便でない」ということは成り立たない」ものはある fact9: 「「きもいかあるいは数日するか両方だ」ということは成り立たない」物はある fact10: 「このＩＷＣは大便であるしその上数日する」ということは間違いである fact11: 「きもいかあるいは数日するということはない」ものはある fact12: 仮に「「きもいかまたは数日しない」ということは偽である」物があるとするとあの設置運営基準付則は大便でない fact13: なんらかの物はきもくない ; $hypothesis$ = あの異郷は大便であるし更に埋め合わせる ; $proof$ = 
fact6 -> int1: 「「きもいか数日しないかまたは両方ともだ」ということは真実でない」ものはある; int1 & fact12 -> int2: あの設置運営基準付則は大便だということはない; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: 「数日する」ものはある
事実2: 仮に「「埋め合わせるかあるいは大便でないかあるいは両方だ」ということは成り立つということはない」ものがあるとしたらあの異郷はきもいということはない
事実3: このＩＷＣはきもくない
事実4: もし「なにがしかのものは大便でなくてそれにそれは基準財政収入額だということはない」ということは間違っているとすると大便である
事実5: 「あの設置運営基準付則は大便できもい」ということは成り立たない
事実6: 「このＩＷＣはきもいかまたは数日しない」ということは成り立たない
事実7: もしもあの設置運営基準付則は大便であるということはないなら「あの異郷は大便であるしおまけに埋め合わせる」ということは成り立たない
事実8: 「「数日するかまたは大便でない」ということは成り立たない」ものはある
事実9: 「「きもいかあるいは数日するか両方だ」ということは成り立たない」物はある
事実10: 「このＩＷＣは大便であるしその上数日する」ということは間違いである
事実11: 「きもいかあるいは数日するということはない」ものはある
事実12: 仮に「「きもいかまたは数日しない」ということは偽である」物があるとするとあの設置運営基準付則は大便でない
事実13: なんらかの物はきもくない

仮説: あの異郷は大便であるし更に埋め合わせる
1. 事実6から、推論1: "「「きもいか数日しないかまたは両方ともだ」ということは真実でない」ものはある"が導かれる
2. 推論1と事実12から、推論2: "あの設置運営基準付則は大便だということはない"が導かれる
3. 推論2と事実7から、仮説が否定される

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