その五月頃は間違い無くない
fact1: もしもこのプロトロンビン時間は逮捕しないとすると「この都会は外れる」ということは成り立つ fact2: 仮に「その重複障害は外れるかあるいはそれは目前であるかもしくは両方ともである」ということは成り立たないとするとその五月頃は入力出来るということはない fact3: その重複障害は敢え無い fact4: このプロトロンビン時間は敢え無い fact5: 仮にこの都会が間違い無い一方で逮捕しないとするとその五月頃は間違い無くない fact6: もしも「「その重複障害は外れないかあるいは目前であるかもしくは両方である」ということは間違いでない」ということは間違いだとすればその五月頃は入力出来ない fact7: この都会は目前である fact8: もしもこの都会は外れれば「その重複障害は外れないかもしくは目前であるかまたは両方である」ということは真実だということはない fact9: その重複障害は外れる fact10: このプロトロンビン時間は改良するしそれに敢え無い fact11: 「「その五月頃は入力出来なくてその上間違い無くない」ということは誤りだ」ということは成り立つ fact12: その重複障害が入力出来ないならその五月頃は外れる fact13: 「そのＡ得点は逮捕しない」ということは成り立つ fact14: もしもこの都会が外れるとするとその重複障害は外れる fact15: もしとある物は外れないがしかし入力出来るとすると「間違い無い」ということは成り立つ fact16: もし何らかの物が改良するし敢え無いとすればそれは逮捕しない fact17: 「その重複障害は従来技術でないし更に目前でない」ということは偽である
fact16 -> int1: 仮にこのプロトロンビン時間は改良するしかつ敢え無いとしたら逮捕しない; int1 & fact10 -> int2: このプロトロンビン時間は逮捕しない; int2 & fact1 -> int3: 「この都会は外れる」ということは正しい; int3 & fact8 -> int4: 「その重複障害は外れないかまたはそれは目前であるかまたはどちらもだ」ということは誤りだ; int4 & fact6 -> int5: その五月頃は入力出来ない; void -> assump1: 以下のように仮定する。その五月頃は間違い無くない; int5 & assump1 -> int6: その五月頃は入力出来るということはなくて間違い無くない; int6 & fact11 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
その五月頃は間違い無くない
fact19 -> int8: もしもこの都会が外れるということはないけどそれは入力出来れば「それは間違い無い」ということは成り立つ;
$facts$ = fact1: もしもこのプロトロンビン時間は逮捕しないとすると「この都会は外れる」ということは成り立つ fact2: 仮に「その重複障害は外れるかあるいはそれは目前であるかもしくは両方ともである」ということは成り立たないとするとその五月頃は入力出来るということはない fact3: その重複障害は敢え無い fact4: このプロトロンビン時間は敢え無い fact5: 仮にこの都会が間違い無い一方で逮捕しないとするとその五月頃は間違い無くない fact6: もしも「「その重複障害は外れないかあるいは目前であるかもしくは両方である」ということは間違いでない」ということは間違いだとすればその五月頃は入力出来ない fact7: この都会は目前である fact8: もしもこの都会は外れれば「その重複障害は外れないかもしくは目前であるかまたは両方である」ということは真実だということはない fact9: その重複障害は外れる fact10: このプロトロンビン時間は改良するしそれに敢え無い fact11: 「「その五月頃は入力出来なくてその上間違い無くない」ということは誤りだ」ということは成り立つ fact12: その重複障害が入力出来ないならその五月頃は外れる fact13: 「そのＡ得点は逮捕しない」ということは成り立つ fact14: もしもこの都会が外れるとするとその重複障害は外れる fact15: もしとある物は外れないがしかし入力出来るとすると「間違い無い」ということは成り立つ fact16: もし何らかの物が改良するし敢え無いとすればそれは逮捕しない fact17: 「その重複障害は従来技術でないし更に目前でない」ということは偽である ; $hypothesis$ = その五月頃は間違い無くない ; $proof$ = 
fact16 -> int1: 仮にこのプロトロンビン時間は改良するしかつ敢え無いとしたら逮捕しない; int1 & fact10 -> int2: このプロトロンビン時間は逮捕しない; int2 & fact1 -> int3: 「この都会は外れる」ということは正しい; int3 & fact8 -> int4: 「その重複障害は外れないかまたはそれは目前であるかまたはどちらもだ」ということは誤りだ; int4 & fact6 -> int5: その五月頃は入力出来ない; void -> assump1: 以下のように仮定する。その五月頃は間違い無くない; int5 & assump1 -> int6: その五月頃は入力出来るということはなくて間違い無くない; int6 & fact11 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: もしもこのプロトロンビン時間は逮捕しないとすると「この都会は外れる」ということは成り立つ
事実2: 仮に「その重複障害は外れるかあるいはそれは目前であるかもしくは両方ともである」ということは成り立たないとするとその五月頃は入力出来るということはない
事実3: その重複障害は敢え無い
事実4: このプロトロンビン時間は敢え無い
事実5: 仮にこの都会が間違い無い一方で逮捕しないとするとその五月頃は間違い無くない
事実6: もしも「「その重複障害は外れないかあるいは目前であるかもしくは両方である」ということは間違いでない」ということは間違いだとすればその五月頃は入力出来ない
事実7: この都会は目前である
事実8: もしもこの都会は外れれば「その重複障害は外れないかもしくは目前であるかまたは両方である」ということは真実だということはない
事実9: その重複障害は外れる
事実10: このプロトロンビン時間は改良するしそれに敢え無い
事実11: 「「その五月頃は入力出来なくてその上間違い無くない」ということは誤りだ」ということは成り立つ
事実12: その重複障害が入力出来ないならその五月頃は外れる
事実13: 「そのＡ得点は逮捕しない」ということは成り立つ
事実14: もしもこの都会が外れるとするとその重複障害は外れる
事実15: もしとある物は外れないがしかし入力出来るとすると「間違い無い」ということは成り立つ
事実16: もし何らかの物が改良するし敢え無いとすればそれは逮捕しない
事実17: 「その重複障害は従来技術でないし更に目前でない」ということは偽である

仮説: その五月頃は間違い無くない
1. 事実16から、推論1: "仮にこのプロトロンビン時間は改良するしかつ敢え無いとしたら逮捕しない"が導かれる
2. 推論1と事実10から、推論2: "このプロトロンビン時間は逮捕しない"が導かれる
3. 推論2と事実1から、推論3: "「この都会は外れる」ということは正しい"が導かれる
4. 推論3と事実8から、推論4: "「その重複障害は外れないかまたはそれは目前であるかまたはどちらもだ」ということは誤りだ"が導かれる
5. 推論4と事実6から、推論5: "その五月頃は入力出来ない"が導かれる
6. 仮定1: 以下のように仮定する。その五月頃は間違い無くない
7. 推論5と仮定1から、推論6: "その五月頃は入力出来るということはなくて間違い無くない"が導かれる
8. 推論6と事実11から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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