そのギルドは増大するということはない
fact1: この調味漬け物は痩せだ fact2: その四Ｐは単調増加する fact3: その四Ｐが単調増加するしその上それは千里中央である fact4: 仮に何かは膜蛋白でないならそれは増大するし更に痩せだ fact5: その四Ｐは共鳴し易くて価値形成プロセスである fact6: その四Ｐは千里中央である fact7: もしもその四Ｐが痩せだしまた膜蛋白であるとしたら「手綱でない」ということは事実である fact8: この定着物は近付き易い fact9: その四Ｐは痩せだししかも千里中央だ fact10: あの財務省原案は報いでない一方でそれは総裁選だ fact11: この定着物は膜蛋白でない fact12: もしその四Ｐが膜蛋白でないならばこの定着物は膜蛋白でない一方でそれは単調増加する fact13: その四Ｐは増大する fact14: もしもあの章題が単調増加しないとすればそれは膜蛋白でない fact15: 「この定着物は痩せだ」ということは成り立つ fact16: 「その四Ｐは倒せる」ということは確かだ fact17: この定着物は進むし更に大工業だ fact18: 「その四Ｐは下ねたでないけれど千里中央だ」ということは偽だとするとあの章題は下ねたである fact19: 仮にこの定着物が単調増加するとしたらそのギルドは増大する fact20: この定着物は千里中央でない fact21: もしなんらかの物は千里中央でないなら増大しないかもしくは痩せであるかもしくは両方である fact22: その四Ｐは手綱である fact23: もしも「下ねたな」ものはあるなら「その四Ｐは下ねたでない一方で千里中央である」ということは嘘である fact24: この定着物は手綱であるしかつ下ねただ fact25: もしその四Ｐが膜蛋白でないならばあの定着物は膜蛋白でない
fact9 -> int1: その四Ｐは痩せである; void -> assump1: 以下のように仮定する。その四Ｐは膜蛋白である; int1 & assump1 -> int2: その四Ｐは痩せだしさらに膜蛋白だ; int2 & fact7 -> int3: その四Ｐは手綱でない; int3 & fact22 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その四Ｐは膜蛋白でない」ということは成り立つ; int5 & fact12 -> int6: この定着物は膜蛋白でないけど単調増加する; int6 -> int7: 「この定着物は単調増加する」ということは成り立つ; int7 & fact19 -> hypothesis;
そのギルドは増大しない
fact26 -> int8: もしもそのギルドが千里中央でないとすればそれは増大しないかあるいは痩せである;
$facts$ = fact1: この調味漬け物は痩せだ fact2: その四Ｐは単調増加する fact3: その四Ｐが単調増加するしその上それは千里中央である fact4: 仮に何かは膜蛋白でないならそれは増大するし更に痩せだ fact5: その四Ｐは共鳴し易くて価値形成プロセスである fact6: その四Ｐは千里中央である fact7: もしもその四Ｐが痩せだしまた膜蛋白であるとしたら「手綱でない」ということは事実である fact8: この定着物は近付き易い fact9: その四Ｐは痩せだししかも千里中央だ fact10: あの財務省原案は報いでない一方でそれは総裁選だ fact11: この定着物は膜蛋白でない fact12: もしその四Ｐが膜蛋白でないならばこの定着物は膜蛋白でない一方でそれは単調増加する fact13: その四Ｐは増大する fact14: もしもあの章題が単調増加しないとすればそれは膜蛋白でない fact15: 「この定着物は痩せだ」ということは成り立つ fact16: 「その四Ｐは倒せる」ということは確かだ fact17: この定着物は進むし更に大工業だ fact18: 「その四Ｐは下ねたでないけれど千里中央だ」ということは偽だとするとあの章題は下ねたである fact19: 仮にこの定着物が単調増加するとしたらそのギルドは増大する fact20: この定着物は千里中央でない fact21: もしなんらかの物は千里中央でないなら増大しないかもしくは痩せであるかもしくは両方である fact22: その四Ｐは手綱である fact23: もしも「下ねたな」ものはあるなら「その四Ｐは下ねたでない一方で千里中央である」ということは嘘である fact24: この定着物は手綱であるしかつ下ねただ fact25: もしその四Ｐが膜蛋白でないならばあの定着物は膜蛋白でない ; $hypothesis$ = そのギルドは増大するということはない ; $proof$ = 
fact9 -> int1: その四Ｐは痩せである; void -> assump1: 以下のように仮定する。その四Ｐは膜蛋白である; int1 & assump1 -> int2: その四Ｐは痩せだしさらに膜蛋白だ; int2 & fact7 -> int3: その四Ｐは手綱でない; int3 & fact22 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その四Ｐは膜蛋白でない」ということは成り立つ; int5 & fact12 -> int6: この定着物は膜蛋白でないけど単調増加する; int6 -> int7: 「この定着物は単調増加する」ということは成り立つ; int7 & fact19 -> hypothesis; __DISPROVED__
事実1: この調味漬け物は痩せだ
事実2: その四Ｐは単調増加する
事実3: その四Ｐが単調増加するしその上それは千里中央である
事実4: 仮に何かは膜蛋白でないならそれは増大するし更に痩せだ
事実5: その四Ｐは共鳴し易くて価値形成プロセスである
事実6: その四Ｐは千里中央である
事実7: もしもその四Ｐが痩せだしまた膜蛋白であるとしたら「手綱でない」ということは事実である
事実8: この定着物は近付き易い
事実9: その四Ｐは痩せだししかも千里中央だ
事実10: あの財務省原案は報いでない一方でそれは総裁選だ
事実11: この定着物は膜蛋白でない
事実12: もしその四Ｐが膜蛋白でないならばこの定着物は膜蛋白でない一方でそれは単調増加する
事実13: その四Ｐは増大する
事実14: もしもあの章題が単調増加しないとすればそれは膜蛋白でない
事実15: 「この定着物は痩せだ」ということは成り立つ
事実16: 「その四Ｐは倒せる」ということは確かだ
事実17: この定着物は進むし更に大工業だ
事実18: 「その四Ｐは下ねたでないけれど千里中央だ」ということは偽だとするとあの章題は下ねたである
事実19: 仮にこの定着物が単調増加するとしたらそのギルドは増大する
事実20: この定着物は千里中央でない
事実21: もしなんらかの物は千里中央でないなら増大しないかもしくは痩せであるかもしくは両方である
事実22: その四Ｐは手綱である
事実23: もしも「下ねたな」ものはあるなら「その四Ｐは下ねたでない一方で千里中央である」ということは嘘である
事実24: この定着物は手綱であるしかつ下ねただ
事実25: もしその四Ｐが膜蛋白でないならばあの定着物は膜蛋白でない

仮説: そのギルドは増大するということはない
1. 事実9から、推論1: "その四Ｐは痩せである"が導かれる
2. 仮定1: 以下のように仮定する。その四Ｐは膜蛋白である
3. 推論1と仮定1から、推論2: "その四Ｐは痩せだしさらに膜蛋白だ"が導かれる
4. 推論2と事実7から、推論3: "その四Ｐは手綱でない"が導かれる
5. 推論3と事実22から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「その四Ｐは膜蛋白でない」ということは成り立つ"が導かれる
7. 推論5と事実12から、推論6: "この定着物は膜蛋白でないけど単調増加する"が導かれる
8. 推論6から、推論7: "「この定着物は単調増加する」ということは成り立つ"が導かれる
9. 推論7と事実19から、仮説が否定される

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