この空間統合は塗抹染色でない
fact1: もしこの細魚が塗抹染色でないならこの空間統合は転院する fact2: この細魚はしゃあ無い fact3: もしもこの空間統合が転院するということはないとすればこの細魚は塗抹染色だ fact4: なにがしかのものは転院しないとしたら「バトンタッチしないけれど言い足す」ということは成り立たない fact5: もしもあの川北委員が言い足さないとするとこの細魚は転院する fact6: 仮に「「バトンタッチしないが言い足す」ということは事実と異なる」ものがあるとすればこの空間統合は言い足さない fact7: この空間統合は塗抹染色でないかもしくは言い足しないか両方である fact8: すべてのものは徴兵制度でないかそれは手緩くないかまたは両方ともである fact9: この細魚はバトンタッチしないか言い足しないかまたは両方だ fact10: 仮にあの川北委員がしゃあ無くないとするとこの細魚は転院する fact11: あらゆる物はしゃあ無いということはないか言い足しないかまたは両方ともだ fact12: 「転院する」ものはある fact13: もし「なにかは転院するし更にバトンタッチする」ということは本当だとすればこの空間統合は塗抹染色だということはない fact14: 「この細魚はバトンタッチする」ということは確かだ fact15: あの川北委員はバトンタッチするということはないかまたは言い足さない fact16: あるものはバトンタッチする
fact11 -> int1: あの川北委員はしゃあ無くないかまたはそれは言い足しないかもしくは両方ともだ; int1 & fact10 & fact5 -> int2: この細魚は転院する; int2 & fact14 -> int3: この細魚は転院するしバトンタッチする; int3 -> int4: あるものは転院するしおまけにバトンタッチする; int4 & fact13 -> hypothesis;
この空間統合は塗抹染色だ
fact18 -> int5: もしも「その共同利用は転院するということはない」ということは確かだとすると「それがバトンタッチするということはないしさらにそれは言い足す」ということは成り立たない;
$facts$ = fact1: もしこの細魚が塗抹染色でないならこの空間統合は転院する fact2: この細魚はしゃあ無い fact3: もしもこの空間統合が転院するということはないとすればこの細魚は塗抹染色だ fact4: なにがしかのものは転院しないとしたら「バトンタッチしないけれど言い足す」ということは成り立たない fact5: もしもあの川北委員が言い足さないとするとこの細魚は転院する fact6: 仮に「「バトンタッチしないが言い足す」ということは事実と異なる」ものがあるとすればこの空間統合は言い足さない fact7: この空間統合は塗抹染色でないかもしくは言い足しないか両方である fact8: すべてのものは徴兵制度でないかそれは手緩くないかまたは両方ともである fact9: この細魚はバトンタッチしないか言い足しないかまたは両方だ fact10: 仮にあの川北委員がしゃあ無くないとするとこの細魚は転院する fact11: あらゆる物はしゃあ無いということはないか言い足しないかまたは両方ともだ fact12: 「転院する」ものはある fact13: もし「なにかは転院するし更にバトンタッチする」ということは本当だとすればこの空間統合は塗抹染色だということはない fact14: 「この細魚はバトンタッチする」ということは確かだ fact15: あの川北委員はバトンタッチするということはないかまたは言い足さない fact16: あるものはバトンタッチする ; $hypothesis$ = この空間統合は塗抹染色でない ; $proof$ = 
fact11 -> int1: あの川北委員はしゃあ無くないかまたはそれは言い足しないかもしくは両方ともだ; int1 & fact10 & fact5 -> int2: この細魚は転院する; int2 & fact14 -> int3: この細魚は転院するしバトンタッチする; int3 -> int4: あるものは転院するしおまけにバトンタッチする; int4 & fact13 -> hypothesis; __PROVED__
事実1: もしこの細魚が塗抹染色でないならこの空間統合は転院する
事実2: この細魚はしゃあ無い
事実3: もしもこの空間統合が転院するということはないとすればこの細魚は塗抹染色だ
事実4: なにがしかのものは転院しないとしたら「バトンタッチしないけれど言い足す」ということは成り立たない
事実5: もしもあの川北委員が言い足さないとするとこの細魚は転院する
事実6: 仮に「「バトンタッチしないが言い足す」ということは事実と異なる」ものがあるとすればこの空間統合は言い足さない
事実7: この空間統合は塗抹染色でないかもしくは言い足しないか両方である
事実8: すべてのものは徴兵制度でないかそれは手緩くないかまたは両方ともである
事実9: この細魚はバトンタッチしないか言い足しないかまたは両方だ
事実10: 仮にあの川北委員がしゃあ無くないとするとこの細魚は転院する
事実11: あらゆる物はしゃあ無いということはないか言い足しないかまたは両方ともだ
事実12: 「転院する」ものはある
事実13: もし「なにかは転院するし更にバトンタッチする」ということは本当だとすればこの空間統合は塗抹染色だということはない
事実14: 「この細魚はバトンタッチする」ということは確かだ
事実15: あの川北委員はバトンタッチするということはないかまたは言い足さない
事実16: あるものはバトンタッチする

仮説: この空間統合は塗抹染色でない
1. 事実11から、推論1: "あの川北委員はしゃあ無くないかまたはそれは言い足しないかもしくは両方ともだ"が導かれる
2. 推論1と事実10と事実5から、推論2: "この細魚は転院する"が導かれる
3. 推論2と事実14から、推論3: "この細魚は転院するしバトンタッチする"が導かれる
4. 推論3から、推論4: "あるものは転院するしおまけにバトンタッチする"が導かれる
5. 推論4と事実13から、仮説が導かれる

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