「あの松村和徳・判夕は鬱陶しいが手強くない」ということは嘘だ
fact1: 仮にあの松村和徳・判夕は栽培特性であるし更に萎えるとするとそれは手強くない fact2: もしこのプロピオン酸産生は口ずさまないとすれば「あの松村和徳・判夕は鬱陶しい」ということは成り立つ fact3: もしもこの光アクセス網は謝しないとしたら「あの松村和徳・判夕は栽培特性で上場会社である」ということは真実である fact4: 仮にこの植物性蛋白質はまどろっこしくらないなら「あの種類株式はちっこいか御早いか両方である」ということは成り立たない fact5: もしこの副葬品が栽培特性でないとするとこの光アクセス網は萎えない fact6: この光アクセス網は謝しない fact7: もし仮に「この副葬品は仄暗くないがしかしそれは萎える」ということは間違いだとするとあの松村和徳・判夕は萎える fact8: 「この副葬品は仄暗くない一方で萎える」ということは事実でない fact9: 「御早い物はまどろっこしい」ということは成り立つ fact10: 「あの頓知は剥脱しないかもしくはそれはいがらっぽいかあるいは両方だ」ということは成り立たないとしたらこの植物性蛋白質はまどろっこしくらない fact11: もし仮に何らかの物が萎えないとしたら口ずさむ fact12: この意見概要は仄暗い fact13: もし仮にあの種類株式がまどろっこしいならばあの植物性蛋白質はちっこい fact14: もし仮にこの副葬品が上場会社でないとしたらこの光アクセス網は萎えない fact15: 「あの頓知は剥脱しないかもしくはそれはいがらっぽいかあるいは両方ともだ」ということは偽だ fact16: 仮にこのプロピオン酸産生がまどろっこしいとすればあの種類株式はまどろっこしい fact17: 仮にあるものが謝するとしたらこの副葬品は上場会社でないかもしくはそれは栽培特性でない fact18: あの塩基は謝しない fact19: もしもこの光アクセス網が口ずさむとしたらこのプロピオン酸産生は御早い fact20: 「この意見概要は仄暗いとすると「この意見概要は謝する」ということは成り立つ」ということは本当だ fact21: 「あの種類株式はちっこいかまたは御早いかもしくは両方ともだ」ということは成り立たないとすればあのプロピオン酸産生は口ずさまない fact22: 「この副葬品は仄暗いしおまけにそれは萎える」ということは成り立たない
fact10 & fact15 -> int1: この植物性蛋白質はまどろっこしくらない; int1 & fact4 -> int2: 「あの種類株式はちっこいかあるいはそれは御早いかどちらもである」ということは事実でない; int2 & fact21 -> int3: このプロピオン酸産生は口ずさむということはない; int3 & fact2 -> int4: あの松村和徳・判夕は鬱陶しい; fact8 & fact7 -> int5: あの松村和徳・判夕は萎える; fact3 & fact6 -> int6: あの松村和徳・判夕は栽培特性であるしまた上場会社である; int6 -> int7: あの松村和徳・判夕は栽培特性である; int5 & int7 -> int8: あの松村和徳・判夕は栽培特性であるししかも萎える; int8 & fact1 -> int9: あの松村和徳・判夕は手強くない; int4 & int9 -> hypothesis;
「あの松村和徳・判夕は鬱陶しいけれどそれは手強くない」ということは間違っている
fact31 -> int10: このプロピオン酸産生が御早いとするとそれはまどろっこしい; fact32 -> int11: もしこの光アクセス網は萎えないとすると「口ずさむ」ということは確かだ; fact24 & fact23 -> int12: この意見概要は謝する; int12 -> int13: 「謝する」ものはある; int13 & fact25 -> int14: この副葬品は上場会社でないかまたは栽培特性でないかまたは両方ともだ; int14 & fact28 & fact26 -> int15: この光アクセス網は萎えない; int11 & int15 -> int16: この光アクセス網は口ずさむ; fact30 & int16 -> int17: このプロピオン酸産生は御早い; int10 & int17 -> int18: このプロピオン酸産生はまどろっこしい; fact27 & int18 -> int19: あの種類株式はまどろっこしい; fact29 & int19 -> int20: この植物性蛋白質はちっこい; int20 -> int21: とある物はちっこい;
$facts$ = fact1: 仮にあの松村和徳・判夕は栽培特性であるし更に萎えるとするとそれは手強くない fact2: もしこのプロピオン酸産生は口ずさまないとすれば「あの松村和徳・判夕は鬱陶しい」ということは成り立つ fact3: もしもこの光アクセス網は謝しないとしたら「あの松村和徳・判夕は栽培特性で上場会社である」ということは真実である fact4: 仮にこの植物性蛋白質はまどろっこしくらないなら「あの種類株式はちっこいか御早いか両方である」ということは成り立たない fact5: もしこの副葬品が栽培特性でないとするとこの光アクセス網は萎えない fact6: この光アクセス網は謝しない fact7: もし仮に「この副葬品は仄暗くないがしかしそれは萎える」ということは間違いだとするとあの松村和徳・判夕は萎える fact8: 「この副葬品は仄暗くない一方で萎える」ということは事実でない fact9: 「御早い物はまどろっこしい」ということは成り立つ fact10: 「あの頓知は剥脱しないかもしくはそれはいがらっぽいかあるいは両方だ」ということは成り立たないとしたらこの植物性蛋白質はまどろっこしくらない fact11: もし仮に何らかの物が萎えないとしたら口ずさむ fact12: この意見概要は仄暗い fact13: もし仮にあの種類株式がまどろっこしいならばあの植物性蛋白質はちっこい fact14: もし仮にこの副葬品が上場会社でないとしたらこの光アクセス網は萎えない fact15: 「あの頓知は剥脱しないかもしくはそれはいがらっぽいかあるいは両方ともだ」ということは偽だ fact16: 仮にこのプロピオン酸産生がまどろっこしいとすればあの種類株式はまどろっこしい fact17: 仮にあるものが謝するとしたらこの副葬品は上場会社でないかもしくはそれは栽培特性でない fact18: あの塩基は謝しない fact19: もしもこの光アクセス網が口ずさむとしたらこのプロピオン酸産生は御早い fact20: 「この意見概要は仄暗いとすると「この意見概要は謝する」ということは成り立つ」ということは本当だ fact21: 「あの種類株式はちっこいかまたは御早いかもしくは両方ともだ」ということは成り立たないとすればあのプロピオン酸産生は口ずさまない fact22: 「この副葬品は仄暗いしおまけにそれは萎える」ということは成り立たない ; $hypothesis$ = 「あの松村和徳・判夕は鬱陶しいが手強くない」ということは嘘だ ; $proof$ = 
fact10 & fact15 -> int1: この植物性蛋白質はまどろっこしくらない; int1 & fact4 -> int2: 「あの種類株式はちっこいかあるいはそれは御早いかどちらもである」ということは事実でない; int2 & fact21 -> int3: このプロピオン酸産生は口ずさむということはない; int3 & fact2 -> int4: あの松村和徳・判夕は鬱陶しい; fact8 & fact7 -> int5: あの松村和徳・判夕は萎える; fact3 & fact6 -> int6: あの松村和徳・判夕は栽培特性であるしまた上場会社である; int6 -> int7: あの松村和徳・判夕は栽培特性である; int5 & int7 -> int8: あの松村和徳・判夕は栽培特性であるししかも萎える; int8 & fact1 -> int9: あの松村和徳・判夕は手強くない; int4 & 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: 「この副葬品は仄暗いしおまけにそれは萎える」ということは成り立たない

仮説: 「あの松村和徳・判夕は鬱陶しいが手強くない」ということは嘘だ
1. 事実10と事実15から、推論1: "この植物性蛋白質はまどろっこしくらない"が導かれる
2. 推論1と事実4から、推論2: "「あの種類株式はちっこいかあるいはそれは御早いかどちらもである」ということは事実でない"が導かれる
3. 推論2と事実21から、推論3: "このプロピオン酸産生は口ずさむということはない"が導かれる
4. 推論3と事実2から、推論4: "あの松村和徳・判夕は鬱陶しい"が導かれる
5. 事実8と事実7から、推論5: "あの松村和徳・判夕は萎える"が導かれる
6. 事実3と事実6から、推論6: "あの松村和徳・判夕は栽培特性であるしまた上場会社である"が導かれる
7. 推論6から、推論7: "あの松村和徳・判夕は栽培特性である"が導かれる
8. 推論5と推論7から、推論8: "あの松村和徳・判夕は栽培特性であるししかも萎える"が導かれる
9. 推論8と事実1から、推論9: "あの松村和徳・判夕は手強くない"が導かれる
10. 推論4と推論9から、仮説が否定される

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