「「あの御得意様名簿は準備出来るしそれは悩ましい」ということは誤りだ」ということは真実である
fact1: もしもこの目標心拍数が悩ましいならあの御得意様名簿は悩ましくない fact2: もしもあの御得意様名簿は悩ましくないなら「それは下ろし易くないし準備出来ない」ということは成り立たない fact3: それは猪突猛進型であるけれど下ろし易くないという物はない fact4: 「この被子植物は猪突猛進型であるけどそれは下ろし易くない」ということは本当であるということはない fact5: あの御得意様名簿は下ろし易くてそれは聞き取る fact6: 「もしも何かは聞き取らないならば「準備出来るしさらにそれは悩ましい」ということは成り立つということはない」ということは成り立つ fact7: あの御得意様名簿は聞き取るしさらに悩ましい fact8: 仮に「この被子植物は聞き取らないしかつそれは猪突猛進型だということはない」ということは確かでないならばあの御得意様名簿は準備出来る fact9: あの御得意様名簿は聞き取る fact10: 猪突猛進型でなくてその上下ろし易くないという物はない fact11: 「あの葛飾派が悩ましくないしその上聞き取るということはないとするとこの目標心拍数は悩ましい」ということは事実である fact12: もしこの被子植物は猪突猛進型であるとすると「あの御得意様名簿は準備出来る」ということは正しい fact13: もし仮に「この被子植物は猪突猛進型でなくてその上下ろし易くない」ということは成り立たないとしたらあの御得意様名簿は準備出来る
fact10 -> int1: 「この被子植物は猪突猛進型であるということはなくて下ろし易くない」ということは誤っている; int1 & fact13 -> int2: あの御得意様名簿は準備出来る; fact7 -> int3: あの御得意様名簿は悩ましい; int2 & int3 -> hypothesis;
「あの御得意様名簿は準備出来るしその上悩ましい」ということは成り立たない
fact14 -> int4: もし仮にあの御得意様名簿は聞き取らないとすると「準備出来るしその上悩ましい」ということは事実と異なる;
$facts$ = fact1: もしもこの目標心拍数が悩ましいならあの御得意様名簿は悩ましくない fact2: もしもあの御得意様名簿は悩ましくないなら「それは下ろし易くないし準備出来ない」ということは成り立たない fact3: それは猪突猛進型であるけれど下ろし易くないという物はない fact4: 「この被子植物は猪突猛進型であるけどそれは下ろし易くない」ということは本当であるということはない fact5: あの御得意様名簿は下ろし易くてそれは聞き取る fact6: 「もしも何かは聞き取らないならば「準備出来るしさらにそれは悩ましい」ということは成り立つということはない」ということは成り立つ fact7: あの御得意様名簿は聞き取るしさらに悩ましい fact8: 仮に「この被子植物は聞き取らないしかつそれは猪突猛進型だということはない」ということは確かでないならばあの御得意様名簿は準備出来る fact9: あの御得意様名簿は聞き取る fact10: 猪突猛進型でなくてその上下ろし易くないという物はない fact11: 「あの葛飾派が悩ましくないしその上聞き取るということはないとするとこの目標心拍数は悩ましい」ということは事実である fact12: もしこの被子植物は猪突猛進型であるとすると「あの御得意様名簿は準備出来る」ということは正しい fact13: もし仮に「この被子植物は猪突猛進型でなくてその上下ろし易くない」ということは成り立たないとしたらあの御得意様名簿は準備出来る ; $hypothesis$ = 「「あの御得意様名簿は準備出来るしそれは悩ましい」ということは誤りだ」ということは真実である ; $proof$ = 
fact10 -> int1: 「この被子植物は猪突猛進型であるということはなくて下ろし易くない」ということは誤っている; int1 & fact13 -> int2: あの御得意様名簿は準備出来る; fact7 -> int3: あの御得意様名簿は悩ましい; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしもこの目標心拍数が悩ましいならあの御得意様名簿は悩ましくない
事実2: もしもあの御得意様名簿は悩ましくないなら「それは下ろし易くないし準備出来ない」ということは成り立たない
事実3: それは猪突猛進型であるけれど下ろし易くないという物はない
事実4: 「この被子植物は猪突猛進型であるけどそれは下ろし易くない」ということは本当であるということはない
事実5: あの御得意様名簿は下ろし易くてそれは聞き取る
事実6: 「もしも何かは聞き取らないならば「準備出来るしさらにそれは悩ましい」ということは成り立つということはない」ということは成り立つ
事実7: あの御得意様名簿は聞き取るしさらに悩ましい
事実8: 仮に「この被子植物は聞き取らないしかつそれは猪突猛進型だということはない」ということは確かでないならばあの御得意様名簿は準備出来る
事実9: あの御得意様名簿は聞き取る
事実10: 猪突猛進型でなくてその上下ろし易くないという物はない
事実11: 「あの葛飾派が悩ましくないしその上聞き取るということはないとするとこの目標心拍数は悩ましい」ということは事実である
事実12: もしこの被子植物は猪突猛進型であるとすると「あの御得意様名簿は準備出来る」ということは正しい
事実13: もし仮に「この被子植物は猪突猛進型でなくてその上下ろし易くない」ということは成り立たないとしたらあの御得意様名簿は準備出来る

仮説: 「「あの御得意様名簿は準備出来るしそれは悩ましい」ということは誤りだ」ということは真実である
1. 事実10から、推論1: "「この被子植物は猪突猛進型であるということはなくて下ろし易くない」ということは誤っている"が導かれる
2. 推論1と事実13から、推論2: "あの御得意様名簿は準備出来る"が導かれる
3. 事実7から、推論3: "あの御得意様名簿は悩ましい"が導かれる
4. 推論2と推論3から、仮説が否定される

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