「その数例は単純過ぎるかまたは回路記号であるかあるいはどちらもである」ということは確かでない
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: 「コンドルでないしきついということはない」物はある fact26: とある物は婦人科でないとすれば「それは単純過ぎるかまたは回路記号であるかあるいは両方だ」ということは成り立つということはない fact27: もしなにがしかのものは番兵でないなら「きついということはないが集まり易い」ということは成り立たない
fact9 & fact21 -> int1: この砂は婦人科でない; int1 & fact12 -> int2: その桜見物はきついということはなくてそれは集まり易くない; int2 & fact8 -> int3: この担保権設定は番兵だ; fact16 -> int4: もし仮にこの担保権設定は番兵であるとすればそれはコンドルである; int3 & int4 -> int5: この担保権設定はコンドルである; int5 & fact23 -> int6: その脈は手痛い; int6 & fact22 -> int7: 「その数例は単純過ぎる」ということは間違っているということはない; int7 -> hypothesis;
「その数例は単純過ぎるかあるいはそれは回路記号だ」ということは偽だ
fact37 -> int8: もし仮にその数例は婦人科でないとしたら「「単純過ぎるか回路記号である」ということは本当である」ということは間違いである; fact32 -> int9: 仮に「その数例はきつくないけれど集まり易い」ということは偽ならば婦人科でない; fact35 -> int10: 仮にその数例は番兵であるということはないなら「「それはきつかないけど集まり易い」ということは本当だ」ということは誤っている; fact36 -> int11: もし仮にその数例は手痛くない一方でコンドルであるなら番兵だということはない; fact34 -> int12: もし仮に「その数例は延長するし木賃アパートである」ということは確かでないとすると手痛いということはない; fact31 -> int13: もしもその数例はしくじらないとしたら「それは延長するしおまけに木賃アパートだ」ということは成り立たない; fact30 & fact28 -> int14: この担保権設定は身体化しない; fact29 & int14 -> int15: 「その桜見物は水彩画でない」ということは確かである; int15 -> int16: 「水彩画でない」ものはある;
$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: 「コンドルでないしきついということはない」物はある fact26: とある物は婦人科でないとすれば「それは単純過ぎるかまたは回路記号であるかあるいは両方だ」ということは成り立つということはない fact27: もしなにがしかのものは番兵でないなら「きついということはないが集まり易い」ということは成り立たない ; $hypothesis$ = 「その数例は単純過ぎるかまたは回路記号であるかあるいはどちらもである」ということは確かでない ; $proof$ = 
fact9 & fact21 -> int1: この砂は婦人科でない; int1 & fact12 -> int2: その桜見物はきついということはなくてそれは集まり易くない; int2 & fact8 -> int3: この担保権設定は番兵だ; fact16 -> int4: もし仮にこの担保権設定は番兵であるとすればそれはコンドルである; int3 & int4 -> int5: この担保権設定はコンドルである; int5 & fact23 -> int6: その脈は手痛い; int6 & fact22 -> int7: 「その数例は単純過ぎる」ということは間違っているということはない; int7 -> 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: 「コンドルでないしきついということはない」物はある
事実26: とある物は婦人科でないとすれば「それは単純過ぎるかまたは回路記号であるかあるいは両方だ」ということは成り立つということはない
事実27: もしなにがしかのものは番兵でないなら「きついということはないが集まり易い」ということは成り立たない

仮説: 「その数例は単純過ぎるかまたは回路記号であるかあるいはどちらもである」ということは確かでない
1. 事実9と事実21から、推論1: "この砂は婦人科でない"が導かれる
2. 推論1と事実12から、推論2: "その桜見物はきついということはなくてそれは集まり易くない"が導かれる
3. 推論2と事実8から、推論3: "この担保権設定は番兵だ"が導かれる
4. 事実16から、推論4: "もし仮にこの担保権設定は番兵であるとすればそれはコンドルである"が導かれる
5. 推論3と推論4から、推論5: "この担保権設定はコンドルである"が導かれる
6. 推論5と事実23から、推論6: "その脈は手痛い"が導かれる
7. 推論6と事実22から、推論7: "「その数例は単純過ぎる」ということは間違っているということはない"が導かれる
8. 推論7から、仮説が否定される

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