「その都道府県内は痛々しくて真っ暗い」ということは偽だ
fact1: 仮にその交通民集は申し立てするなら「あの燃焼速度は縮減する」ということは成り立つ fact2: その交通民集は申し立てすれば「あの燃焼速度は縮減しないかもしくはそれは突っ掛かるか両方ともである」ということは嘘である fact3: あの燃焼速度は縮減する fact4: もしもその都道府県内が叩かないとしたら真っ暗い fact5: 「流会しなくてまた作らす」物はある fact6: その都道府県内は真っ暗い fact7: 「作らす」物はある fact8: なにかは縮減する fact9: 「もし仮にあの滲出液が悪戯でないならばそのエンゼルスは映ゆない」ということは成り立つ fact10: もし仮に「「縮減しないか突っ掛かるかまたは両方だ」ということは真実であるということはない」物があるとすればその都道府県内は出でる fact11: 仮にそのエンゼルスが映ゆないとすればその交通民集は申し立てする fact12: 「縮減しないかあるいは突っ掛かる」ものはある fact13: 仮にあの滲出液は流会しないとすると「その都道府県内は痛々しくて更にそれは真っ暗い」ということは事実と異なる fact14: もしもなにかは流会しないとすれば「それは痛々しいし真っ暗い」ということは成り立つということはない fact15: なにかは流会しないが作らすとしたらあの滲出液は悪戯でない fact16: その交通民集は映ゆ fact17: 「流会するし作らす」ものはある fact18: 「「縮減するかもしくは突っ掛かるかどちらもだ」ということは偽な」ものがあるとするとその都道府県内は出でる fact19: あの滲出液は突っ掛かる fact20: もしも何かは出でるとすれば叩かない fact21: 「流会しない」物はある fact22: もし仮に何かは叩かないとすればそれは真っ暗い fact23: なんらかの物が叩かないなら痛々しいしおまけに真っ暗い
fact5 & fact15 -> int1: あの滲出液は悪戯でない; int1 & fact9 -> int2: そのエンゼルスは映ゆない; int2 & fact11 -> int3: その交通民集は申し立てする; int3 & fact2 -> int4: 「あの燃焼速度は縮減しないか突っ掛かるかまたは両方ともである」ということは間違っている; int4 -> int5: 「「縮減しないかまたは突っ掛かる」ということは成り立たない」ものはある; int5 & fact10 -> int6: その都道府県内は出でる; fact20 -> int7: もしその都道府県内が出でるとすればそれは叩かない; int6 & int7 -> int8: その都道府県内は叩くということはない; fact23 -> int9: もしもその都道府県内が叩かないとすると痛々しいし真っ暗い; int8 & int9 -> hypothesis;
「その都道府県内は痛々しいしおまけに真っ暗い」ということは成り立たない
fact24 -> int10: 仮にその都道府県内は流会しないなら「痛々しいしまたそれは真っ暗い」ということは事実でない;
$facts$ = fact1: 仮にその交通民集は申し立てするなら「あの燃焼速度は縮減する」ということは成り立つ fact2: その交通民集は申し立てすれば「あの燃焼速度は縮減しないかもしくはそれは突っ掛かるか両方ともである」ということは嘘である fact3: あの燃焼速度は縮減する fact4: もしもその都道府県内が叩かないとしたら真っ暗い fact5: 「流会しなくてまた作らす」物はある fact6: その都道府県内は真っ暗い fact7: 「作らす」物はある fact8: なにかは縮減する fact9: 「もし仮にあの滲出液が悪戯でないならばそのエンゼルスは映ゆない」ということは成り立つ fact10: もし仮に「「縮減しないか突っ掛かるかまたは両方だ」ということは真実であるということはない」物があるとすればその都道府県内は出でる fact11: 仮にそのエンゼルスが映ゆないとすればその交通民集は申し立てする fact12: 「縮減しないかあるいは突っ掛かる」ものはある fact13: 仮にあの滲出液は流会しないとすると「その都道府県内は痛々しくて更にそれは真っ暗い」ということは事実と異なる fact14: もしもなにかは流会しないとすれば「それは痛々しいし真っ暗い」ということは成り立つということはない fact15: なにかは流会しないが作らすとしたらあの滲出液は悪戯でない fact16: その交通民集は映ゆ fact17: 「流会するし作らす」ものはある fact18: 「「縮減するかもしくは突っ掛かるかどちらもだ」ということは偽な」ものがあるとするとその都道府県内は出でる fact19: あの滲出液は突っ掛かる fact20: もしも何かは出でるとすれば叩かない fact21: 「流会しない」物はある fact22: もし仮に何かは叩かないとすればそれは真っ暗い fact23: なんらかの物が叩かないなら痛々しいしおまけに真っ暗い ; $hypothesis$ = 「その都道府県内は痛々しくて真っ暗い」ということは偽だ ; $proof$ = 
fact5 & fact15 -> int1: あの滲出液は悪戯でない; int1 & fact9 -> int2: そのエンゼルスは映ゆない; int2 & fact11 -> int3: その交通民集は申し立てする; int3 & fact2 -> int4: 「あの燃焼速度は縮減しないか突っ掛かるかまたは両方ともである」ということは間違っている; int4 -> int5: 「「縮減しないかまたは突っ掛かる」ということは成り立たない」ものはある; int5 & fact10 -> int6: その都道府県内は出でる; fact20 -> int7: もしその都道府県内が出でるとすればそれは叩かない; int6 & int7 -> int8: その都道府県内は叩くということはない; fact23 -> int9: もしもその都道府県内が叩かないとすると痛々しいし真っ暗い; int8 & int9 -> 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: なんらかの物が叩かないなら痛々しいしおまけに真っ暗い

仮説: 「その都道府県内は痛々しくて真っ暗い」ということは偽だ
1. 事実5と事実15から、推論1: "あの滲出液は悪戯でない"が導かれる
2. 推論1と事実9から、推論2: "そのエンゼルスは映ゆない"が導かれる
3. 推論2と事実11から、推論3: "その交通民集は申し立てする"が導かれる
4. 推論3と事実2から、推論4: "「あの燃焼速度は縮減しないか突っ掛かるかまたは両方ともである」ということは間違っている"が導かれる
5. 推論4から、推論5: "「「縮減しないかまたは突っ掛かる」ということは成り立たない」ものはある"が導かれる
6. 推論5と事実10から、推論6: "その都道府県内は出でる"が導かれる
7. 事実20から、推論7: "もしその都道府県内が出でるとすればそれは叩かない"が導かれる
8. 推論6と推論7から、推論8: "その都道府県内は叩くということはない"が導かれる
9. 事実23から、推論9: "もしもその都道府県内が叩かないとすると痛々しいし真っ暗い"が導かれる
10. 推論8と推論9から、仮説が否定される

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