「その大阪府全体は薄過ぎるしその上デュークである」ということは確かでない
fact1: もし仮になにがしかのものが緩み易いかあるいは御明察であるかどちらもだとしたらこのホストファミリーは散見する fact2: もし仮にその大阪府全体は笑い合える一方で係助詞でないならそれは新し fact3: もしなにがしかのものは吸収され易くないとすると「薄過ぎるしデュークである」ということは成り立たない fact4: 仮になにかは散見するなら「「疎ましくらないけど開析する」ということは成り立つ」ということは事実と異なる fact5: もしもその大阪府全体が新しが蔵すないとすれば薄過ぎる fact6: その大阪府全体は蔵すない fact7: 「「係助詞であるしそれに疎ましい」ということは誤っている」ものはある fact8: その大阪府全体は係助詞でない fact9: このホストファミリーは疎ましいとすると「それは吸収され易い」ということは事実である fact10: このホストファミリーは笑い合える fact11: 「あの操縦席は救急処置であるがそれは設例であるということはない」ということは間違っている fact12: その僅差は蔵すない fact13: このホストファミリーは疎ましい fact14: あの研究プログラムは緩み易いかあるいは御明察であるかもしくは両方ともだ fact15: もしも「なにかは疎ましいということはないけれど開析する」ということは成り立たないならそれは蔵す fact16: 「「新しし笑い合える」ということは嘘な」ものはある fact17: もしあの借用が新しとすればこのホストファミリーは新し fact18: 「あの借用は新し」ということは嘘でない fact19: その大阪府全体はデュークである fact20: もし仮に「「「笑い合える一方で係助詞でない」ということは確かだ」ということは正しくない」物があればこのホストファミリーは吸収され易くない fact21: その大阪府全体は笑い合えるし加えて係助詞であるなら新し
void -> assump1: 以下のように仮定する。「その大阪府全体は笑い合える一方で係助詞でない」ということは間違いだ; assump1 -> int1: 「「笑い合えるが係助詞だということはない」ということは偽な」物はある; int1 & fact20 -> int2: このホストファミリーは吸収され易くない; fact13 & fact9 -> int3: このホストファミリーは吸収され易い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その大阪府全体は笑い合えるけど係助詞でない; int5 & fact2 -> int6: その大阪府全体は新し; int6 & fact6 -> int7: その大阪府全体は新しがそれは蔵すない; int7 & fact5 -> int8: その大阪府全体は薄過ぎる; int8 & fact19 -> hypothesis;
「その大阪府全体は薄過ぎるししかもデュークだ」ということは偽である
fact27 -> int9: 仮に「その大阪府全体は吸収され易くない」ということは事実と異ならないとしたら「それは薄過ぎるしまたそれはデュークだ」ということは本当でない; fact28 & fact26 -> int10: このホストファミリーは新し; fact22 -> int11: もしも「このホストファミリーは疎ましくらないけど開析する」ということは成り立つということはないとしたら蔵す; fact24 -> int12: もしこのホストファミリーは散見するとすると「それは疎ましいということはないが開析する」ということは誤っている; fact23 -> int13: あるものは緩み易いかもしくはそれは御明察だ; int13 & fact25 -> int14: このホストファミリーは散見する; int12 & int14 -> int15: 「このホストファミリーは疎ましいということはない一方で開析する」ということは事実でない; int11 & int15 -> int16: このホストファミリーは蔵す; int10 & int16 -> int17: このホストファミリーは新しし蔵す; int17 -> int18: あるものは新ししおまけに蔵す;
$facts$ = fact1: もし仮になにがしかのものが緩み易いかあるいは御明察であるかどちらもだとしたらこのホストファミリーは散見する fact2: もし仮にその大阪府全体は笑い合える一方で係助詞でないならそれは新し fact3: もしなにがしかのものは吸収され易くないとすると「薄過ぎるしデュークである」ということは成り立たない fact4: 仮になにかは散見するなら「「疎ましくらないけど開析する」ということは成り立つ」ということは事実と異なる fact5: もしもその大阪府全体が新しが蔵すないとすれば薄過ぎる fact6: その大阪府全体は蔵すない fact7: 「「係助詞であるしそれに疎ましい」ということは誤っている」ものはある fact8: その大阪府全体は係助詞でない fact9: このホストファミリーは疎ましいとすると「それは吸収され易い」ということは事実である fact10: このホストファミリーは笑い合える fact11: 「あの操縦席は救急処置であるがそれは設例であるということはない」ということは間違っている fact12: その僅差は蔵すない fact13: このホストファミリーは疎ましい fact14: あの研究プログラムは緩み易いかあるいは御明察であるかもしくは両方ともだ fact15: もしも「なにかは疎ましいということはないけれど開析する」ということは成り立たないならそれは蔵す fact16: 「「新しし笑い合える」ということは嘘な」ものはある fact17: もしあの借用が新しとすればこのホストファミリーは新し fact18: 「あの借用は新し」ということは嘘でない fact19: その大阪府全体はデュークである fact20: もし仮に「「「笑い合える一方で係助詞でない」ということは確かだ」ということは正しくない」物があればこのホストファミリーは吸収され易くない fact21: その大阪府全体は笑い合えるし加えて係助詞であるなら新し ; $hypothesis$ = 「その大阪府全体は薄過ぎるしその上デュークである」ということは確かでない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その大阪府全体は笑い合える一方で係助詞でない」ということは間違いだ; assump1 -> int1: 「「笑い合えるが係助詞だということはない」ということは偽な」物はある; int1 & fact20 -> int2: このホストファミリーは吸収され易くない; fact13 & fact9 -> int3: このホストファミリーは吸収され易い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その大阪府全体は笑い合えるけど係助詞でない; int5 & fact2 -> int6: その大阪府全体は新し; int6 & fact6 -> int7: その大阪府全体は新しがそれは蔵すない; int7 & fact5 -> int8: その大阪府全体は薄過ぎる; int8 & fact19 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかのものが緩み易いかあるいは御明察であるかどちらもだとしたらこのホストファミリーは散見する
事実2: もし仮にその大阪府全体は笑い合える一方で係助詞でないならそれは新し
事実3: もしなにがしかのものは吸収され易くないとすると「薄過ぎるしデュークである」ということは成り立たない
事実4: 仮になにかは散見するなら「「疎ましくらないけど開析する」ということは成り立つ」ということは事実と異なる
事実5: もしもその大阪府全体が新しが蔵すないとすれば薄過ぎる
事実6: その大阪府全体は蔵すない
事実7: 「「係助詞であるしそれに疎ましい」ということは誤っている」ものはある
事実8: その大阪府全体は係助詞でない
事実9: このホストファミリーは疎ましいとすると「それは吸収され易い」ということは事実である
事実10: このホストファミリーは笑い合える
事実11: 「あの操縦席は救急処置であるがそれは設例であるということはない」ということは間違っている
事実12: その僅差は蔵すない
事実13: このホストファミリーは疎ましい
事実14: あの研究プログラムは緩み易いかあるいは御明察であるかもしくは両方ともだ
事実15: もしも「なにかは疎ましいということはないけれど開析する」ということは成り立たないならそれは蔵す
事実16: 「「新しし笑い合える」ということは嘘な」ものはある
事実17: もしあの借用が新しとすればこのホストファミリーは新し
事実18: 「あの借用は新し」ということは嘘でない
事実19: その大阪府全体はデュークである
事実20: もし仮に「「「笑い合える一方で係助詞でない」ということは確かだ」ということは正しくない」物があればこのホストファミリーは吸収され易くない
事実21: その大阪府全体は笑い合えるし加えて係助詞であるなら新し

仮説: 「その大阪府全体は薄過ぎるしその上デュークである」ということは確かでない
1. 仮定1: 以下のように仮定する。「その大阪府全体は笑い合える一方で係助詞でない」ということは間違いだ
2. 仮定1から、推論1: "「「笑い合えるが係助詞だということはない」ということは偽な」物はある"が導かれる
3. 推論1と事実20から、推論2: "このホストファミリーは吸収され易くない"が導かれる
4. 事実13と事実9から、推論3: "このホストファミリーは吸収され易い"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その大阪府全体は笑い合えるけど係助詞でない"が導かれる
7. 推論5と事実2から、推論6: "その大阪府全体は新し"が導かれる
8. 推論6と事実6から、推論7: "その大阪府全体は新しがそれは蔵すない"が導かれる
9. 推論7と事実5から、推論8: "その大阪府全体は薄過ぎる"が導かれる
10. 推論8と事実19から、仮説が否定される

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