「あの市議会は変え難いが継ぎ合わせるということはない」ということは成り立たない
fact1: 仮に天使らしいものは怠いとすれば「この孫子は完備しない」ということは本当である fact2: そのポテト料理は二時過ぎだ fact3: この契約解釈は生中継しないが波及する fact4: もしそのポテト料理が二時過ぎだとしたらそれは怠い fact5: もし仮にその権利行使は完備するということはないとすれば「「この契約解釈は完備しないが生中継する」ということは真実だ」ということは成り立たない fact6: もしこの孫子は完備しないとしたら「その権利行使は完備しないがしかし打設する」ということは成り立つということはない fact7: 仮にその権利行使が無しならばあの市議会は変え難いけど継ぎ合わせない fact8: もしもこの契約解釈が生中継しないがしかし波及するとしたらそのポテト料理は天使らしい fact9: 仮に「なんらかのものは完備しない一方で打設する」ということは嘘であるとすると無し
fact8 & fact3 -> int1: そのポテト料理は天使らしい; fact2 & fact4 -> int2: そのポテト料理は怠い; int1 & int2 -> int3: そのポテト料理は天使らしいしまた怠い; int3 -> int4: なんらかのものは天使らしいし更にそれは怠い; int4 & fact1 -> int5: この孫子は完備しない; int5 & fact6 -> int6: 「その権利行使は完備しないが打設する」ということは事実と異なる; fact9 -> int7: もしも「「その権利行使は完備しない一方でそれは打設する」ということは成り立つ」ということは誤りであるとしたら無し; int6 & int7 -> int8: その権利行使は無し; int8 & fact7 -> hypothesis;
$facts$ = fact1: 仮に天使らしいものは怠いとすれば「この孫子は完備しない」ということは本当である fact2: そのポテト料理は二時過ぎだ fact3: この契約解釈は生中継しないが波及する fact4: もしそのポテト料理が二時過ぎだとしたらそれは怠い fact5: もし仮にその権利行使は完備するということはないとすれば「「この契約解釈は完備しないが生中継する」ということは真実だ」ということは成り立たない fact6: もしこの孫子は完備しないとしたら「その権利行使は完備しないがしかし打設する」ということは成り立つということはない fact7: 仮にその権利行使が無しならばあの市議会は変え難いけど継ぎ合わせない fact8: もしもこの契約解釈が生中継しないがしかし波及するとしたらそのポテト料理は天使らしい fact9: 仮に「なんらかのものは完備しない一方で打設する」ということは嘘であるとすると無し ; $hypothesis$ = 「あの市議会は変え難いが継ぎ合わせるということはない」ということは成り立たない ; $proof$ = 
fact8 & fact3 -> int1: そのポテト料理は天使らしい; fact2 & fact4 -> int2: そのポテト料理は怠い; int1 & int2 -> int3: そのポテト料理は天使らしいしまた怠い; int3 -> int4: なんらかのものは天使らしいし更にそれは怠い; int4 & fact1 -> int5: この孫子は完備しない; int5 & fact6 -> int6: 「その権利行使は完備しないが打設する」ということは事実と異なる; fact9 -> int7: もしも「「その権利行使は完備しない一方でそれは打設する」ということは成り立つ」ということは誤りであるとしたら無し; int6 & int7 -> int8: その権利行使は無し; int8 & fact7 -> hypothesis; __DISPROVED__
事実1: 仮に天使らしいものは怠いとすれば「この孫子は完備しない」ということは本当である
事実2: そのポテト料理は二時過ぎだ
事実3: この契約解釈は生中継しないが波及する
事実4: もしそのポテト料理が二時過ぎだとしたらそれは怠い
事実5: もし仮にその権利行使は完備するということはないとすれば「「この契約解釈は完備しないが生中継する」ということは真実だ」ということは成り立たない
事実6: もしこの孫子は完備しないとしたら「その権利行使は完備しないがしかし打設する」ということは成り立つということはない
事実7: 仮にその権利行使が無しならばあの市議会は変え難いけど継ぎ合わせない
事実8: もしもこの契約解釈が生中継しないがしかし波及するとしたらそのポテト料理は天使らしい
事実9: 仮に「なんらかのものは完備しない一方で打設する」ということは嘘であるとすると無し

仮説: 「あの市議会は変え難いが継ぎ合わせるということはない」ということは成り立たない
1. 事実8と事実3から、推論1: "そのポテト料理は天使らしい"が導かれる
2. 事実2と事実4から、推論2: "そのポテト料理は怠い"が導かれる
3. 推論1と推論2から、推論3: "そのポテト料理は天使らしいしまた怠い"が導かれる
4. 推論3から、推論4: "なんらかのものは天使らしいし更にそれは怠い"が導かれる
5. 推論4と事実1から、推論5: "この孫子は完備しない"が導かれる
6. 推論5と事実6から、推論6: "「その権利行使は完備しないが打設する」ということは事実と異なる"が導かれる
7. 事実9から、推論7: "もしも「「その権利行使は完備しない一方でそれは打設する」ということは成り立つ」ということは誤りであるとしたら無し"が導かれる
8. 推論6と推論7から、推論8: "その権利行使は無し"が導かれる
9. 推論8と事実7から、仮説が否定される

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