あのＡＣＣＳサイトは陰気臭い
fact1: 「「あの小開胸が性毛だけどそれは上奏しない」ということは成り立たない」ということは成り立つ fact2: あのＡＣＣＳサイトは上奏する fact3: もし「とあるものは覆滅しない」ということは間違いでないならばあのＡＣＣＳサイトは疲労し易くて信託する fact4: 「あの小開胸は性毛でないし更に上奏するということはない」ということは誤りだ fact5: もし仮にあのＡＣＣＳサイトが精進するし加えて陰気臭いならあの小開胸は構えでない fact6: あの次例は構えでない fact7: 「あの小開胸は性毛でないが陰気臭い」ということは偽である fact8: 「あのＡＣＣＳサイトはアルカリ現像であるということはないし構えでない」ということは誤りだ fact9: 「あのＡＣＣＳサイトは性毛だがしかし覆滅しない」ということは誤っている fact10: もしもなにがしかのものは信託すれば「陰気臭くなくて覆滅しない」ということは誤っている fact11: もし仮に「あの小開胸は性毛であるということはなくて上奏しない」ということは成り立つということはないとしたら構えである fact12: 「構えでない」物があるならばあの小開胸は陰気臭くない fact13: もしなんらかの物が構えだということはないとしたら信託するしかつ精進する fact14: あのＡＣＣＳサイトは信託するし覆滅する fact15: もし仮にあの小開胸が陰気臭いとするとあのＡＣＣＳサイトは陰気臭い fact16: 仮になんらかのものが覆滅するならそれは精進する fact17: もしもあのＡＣＣＳサイトが覆滅するとすると構えだ fact18: 「あのＡＣＣＳサイトは性毛でなくて陰気臭くない」ということは成り立たない
fact14 -> int1: あのＡＣＣＳサイトは覆滅する; fact16 -> int2: もしあのＡＣＣＳサイトが覆滅すれば精進する; int1 & int2 -> int3: あのＡＣＣＳサイトは精進する; void -> assump1: 以下のように仮定する。あのＡＣＣＳサイトは陰気臭い; int3 & assump1 -> int4: あのＡＣＣＳサイトは精進するし陰気臭い; int4 & fact5 -> int5: あの小開胸は構えでない; fact4 & fact11 -> int6: あの小開胸は構えだ; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
あのＡＣＣＳサイトは疲労し易い
fact21 -> int8: 「構えでない」ものはある; int8 & fact19 -> int9: あの小開胸は陰気臭くない;
$facts$ = fact1: 「「あの小開胸が性毛だけどそれは上奏しない」ということは成り立たない」ということは成り立つ fact2: あのＡＣＣＳサイトは上奏する fact3: もし「とあるものは覆滅しない」ということは間違いでないならばあのＡＣＣＳサイトは疲労し易くて信託する fact4: 「あの小開胸は性毛でないし更に上奏するということはない」ということは誤りだ fact5: もし仮にあのＡＣＣＳサイトが精進するし加えて陰気臭いならあの小開胸は構えでない fact6: あの次例は構えでない fact7: 「あの小開胸は性毛でないが陰気臭い」ということは偽である fact8: 「あのＡＣＣＳサイトはアルカリ現像であるということはないし構えでない」ということは誤りだ fact9: 「あのＡＣＣＳサイトは性毛だがしかし覆滅しない」ということは誤っている fact10: もしもなにがしかのものは信託すれば「陰気臭くなくて覆滅しない」ということは誤っている fact11: もし仮に「あの小開胸は性毛であるということはなくて上奏しない」ということは成り立つということはないとしたら構えである fact12: 「構えでない」物があるならばあの小開胸は陰気臭くない fact13: もしなんらかの物が構えだということはないとしたら信託するしかつ精進する fact14: あのＡＣＣＳサイトは信託するし覆滅する fact15: もし仮にあの小開胸が陰気臭いとするとあのＡＣＣＳサイトは陰気臭い fact16: 仮になんらかのものが覆滅するならそれは精進する fact17: もしもあのＡＣＣＳサイトが覆滅するとすると構えだ fact18: 「あのＡＣＣＳサイトは性毛でなくて陰気臭くない」ということは成り立たない ; $hypothesis$ = あのＡＣＣＳサイトは陰気臭い ; $proof$ = 
fact14 -> int1: あのＡＣＣＳサイトは覆滅する; fact16 -> int2: もしあのＡＣＣＳサイトが覆滅すれば精進する; int1 & int2 -> int3: あのＡＣＣＳサイトは精進する; void -> assump1: 以下のように仮定する。あのＡＣＣＳサイトは陰気臭い; int3 & assump1 -> int4: あのＡＣＣＳサイトは精進するし陰気臭い; int4 & fact5 -> int5: あの小開胸は構えでない; fact4 & fact11 -> int6: あの小開胸は構えだ; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: 「「あの小開胸が性毛だけどそれは上奏しない」ということは成り立たない」ということは成り立つ
事実2: あのＡＣＣＳサイトは上奏する
事実3: もし「とあるものは覆滅しない」ということは間違いでないならばあのＡＣＣＳサイトは疲労し易くて信託する
事実4: 「あの小開胸は性毛でないし更に上奏するということはない」ということは誤りだ
事実5: もし仮にあのＡＣＣＳサイトが精進するし加えて陰気臭いならあの小開胸は構えでない
事実6: あの次例は構えでない
事実7: 「あの小開胸は性毛でないが陰気臭い」ということは偽である
事実8: 「あのＡＣＣＳサイトはアルカリ現像であるということはないし構えでない」ということは誤りだ
事実9: 「あのＡＣＣＳサイトは性毛だがしかし覆滅しない」ということは誤っている
事実10: もしもなにがしかのものは信託すれば「陰気臭くなくて覆滅しない」ということは誤っている
事実11: もし仮に「あの小開胸は性毛であるということはなくて上奏しない」ということは成り立つということはないとしたら構えである
事実12: 「構えでない」物があるならばあの小開胸は陰気臭くない
事実13: もしなんらかの物が構えだということはないとしたら信託するしかつ精進する
事実14: あのＡＣＣＳサイトは信託するし覆滅する
事実15: もし仮にあの小開胸が陰気臭いとするとあのＡＣＣＳサイトは陰気臭い
事実16: 仮になんらかのものが覆滅するならそれは精進する
事実17: もしもあのＡＣＣＳサイトが覆滅するとすると構えだ
事実18: 「あのＡＣＣＳサイトは性毛でなくて陰気臭くない」ということは成り立たない

仮説: あのＡＣＣＳサイトは陰気臭い
1. 事実14から、推論1: "あのＡＣＣＳサイトは覆滅する"が導かれる
2. 事実16から、推論2: "もしあのＡＣＣＳサイトが覆滅すれば精進する"が導かれる
3. 推論1と推論2から、推論3: "あのＡＣＣＳサイトは精進する"が導かれる
4. 仮定1: 以下のように仮定する。あのＡＣＣＳサイトは陰気臭い
5. 推論3と仮定1から、推論4: "あのＡＣＣＳサイトは精進するし陰気臭い"が導かれる
6. 推論4と事実5から、推論5: "あの小開胸は構えでない"が導かれる
7. 事実4と事実11から、推論6: "あの小開胸は構えだ"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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