「「「麗しくて加えて散布しない」ということは真実でないならば勇ましくらない」ものはある」ということは成り立たない
fact1: もし「あの居心地は麗しくて散布する」ということは成り立たないならそれは勇ましいということはない fact2: もしも「「あの居心地は麗しいけれどそれは散布しない」ということは成り立つ」ということは成り立たないとすると勇ましい fact3: もしもあの居心地が麗しいけれど散布しないとすれば勇ましかない fact4: 「何かはされ易いけどそれは体色だということはない」ということは誤りだとすれば転げ出ない fact5: もし仮に「なにかは麗しいけど散布しない」ということは成り立たないならばそれは勇ましい fact6: 「もし仮に「麗しくない」ということは成り立つとすれば勇ましくらない」物はある fact7: 「なにかは思い知らすけれど文型でない」ということは誤っているならそれは勇ましかない fact8: 麗しくないものは勇ましかない fact9: もし仮に「あの居心地はされ易い一方で根抵当権でない」ということは事実だということはないならば底上げでない fact10: 「もし仮に麗しくて更に散布しないとすると勇ましくらない」ものはある fact11: 「もしも「時間稼ぎだし体色でない」ということは成り立つということはないなら「側鎖でない」ということは成り立つ」物はある fact12: もしも麗しいものが散布しないとすると勇ましかない fact13: 「「もしも「麗しいししかも散布する」ということは成り立たないとすれば「勇ましくらない」ということは本当な」ものはある」ということは成り立つ fact14: 「もし「麗しいしその上散布しない」ということは事実でないとすると勇ましい」物はある fact15: もし「とある物は麗しくてさらに散布する」ということは間違いであるならば勇ましかない fact16: もしあの居心地が麗しくないとすればそれは勇ましかない fact17: 「この塵捨て場は活動し易いけれど勇ましくらない」ということは事実と異なれば付き合わすということはない fact18: もし仮に「「なにかは麗しいけれどそれは散布するということはない」ということは事実だ」ということは成り立たないならば勇ましかない
fact18 -> int1: もし仮に「あの居心地は麗しいがしかし散布しない」ということは成り立たないならそれは勇ましいということはない; int1 -> hypothesis;
もし「あの庭園部分は思い知らすけど文型でない」ということは真実であるということはないとすればそれは勇ましかない
fact19 -> hypothesis;
$facts$ = fact1: もし「あの居心地は麗しくて散布する」ということは成り立たないならそれは勇ましいということはない fact2: もしも「「あの居心地は麗しいけれどそれは散布しない」ということは成り立つ」ということは成り立たないとすると勇ましい fact3: もしもあの居心地が麗しいけれど散布しないとすれば勇ましかない fact4: 「何かはされ易いけどそれは体色だということはない」ということは誤りだとすれば転げ出ない fact5: もし仮に「なにかは麗しいけど散布しない」ということは成り立たないならばそれは勇ましい fact6: 「もし仮に「麗しくない」ということは成り立つとすれば勇ましくらない」物はある fact7: 「なにかは思い知らすけれど文型でない」ということは誤っているならそれは勇ましかない fact8: 麗しくないものは勇ましかない fact9: もし仮に「あの居心地はされ易い一方で根抵当権でない」ということは事実だということはないならば底上げでない fact10: 「もし仮に麗しくて更に散布しないとすると勇ましくらない」ものはある fact11: 「もしも「時間稼ぎだし体色でない」ということは成り立つということはないなら「側鎖でない」ということは成り立つ」物はある fact12: もしも麗しいものが散布しないとすると勇ましかない fact13: 「「もしも「麗しいししかも散布する」ということは成り立たないとすれば「勇ましくらない」ということは本当な」ものはある」ということは成り立つ fact14: 「もし「麗しいしその上散布しない」ということは事実でないとすると勇ましい」物はある fact15: もし「とある物は麗しくてさらに散布する」ということは間違いであるならば勇ましかない fact16: もしあの居心地が麗しくないとすればそれは勇ましかない fact17: 「この塵捨て場は活動し易いけれど勇ましくらない」ということは事実と異なれば付き合わすということはない fact18: もし仮に「「なにかは麗しいけれどそれは散布するということはない」ということは事実だ」ということは成り立たないならば勇ましかない ; $hypothesis$ = 「「「麗しくて加えて散布しない」ということは真実でないならば勇ましくらない」ものはある」ということは成り立たない ; $proof$ = 
fact18 -> int1: もし仮に「あの居心地は麗しいがしかし散布しない」ということは成り立たないならそれは勇ましいということはない; int1 -> hypothesis; __DISPROVED__
事実1: もし「あの居心地は麗しくて散布する」ということは成り立たないならそれは勇ましいということはない
事実2: もしも「「あの居心地は麗しいけれどそれは散布しない」ということは成り立つ」ということは成り立たないとすると勇ましい
事実3: もしもあの居心地が麗しいけれど散布しないとすれば勇ましかない
事実4: 「何かはされ易いけどそれは体色だということはない」ということは誤りだとすれば転げ出ない
事実5: もし仮に「なにかは麗しいけど散布しない」ということは成り立たないならばそれは勇ましい
事実6: 「もし仮に「麗しくない」ということは成り立つとすれば勇ましくらない」物はある
事実7: 「なにかは思い知らすけれど文型でない」ということは誤っているならそれは勇ましかない
事実8: 麗しくないものは勇ましかない
事実9: もし仮に「あの居心地はされ易い一方で根抵当権でない」ということは事実だということはないならば底上げでない
事実10: 「もし仮に麗しくて更に散布しないとすると勇ましくらない」ものはある
事実11: 「もしも「時間稼ぎだし体色でない」ということは成り立つということはないなら「側鎖でない」ということは成り立つ」物はある
事実12: もしも麗しいものが散布しないとすると勇ましかない
事実13: 「「もしも「麗しいししかも散布する」ということは成り立たないとすれば「勇ましくらない」ということは本当な」ものはある」ということは成り立つ
事実14: 「もし「麗しいしその上散布しない」ということは事実でないとすると勇ましい」物はある
事実15: もし「とある物は麗しくてさらに散布する」ということは間違いであるならば勇ましかない
事実16: もしあの居心地が麗しくないとすればそれは勇ましかない
事実17: 「この塵捨て場は活動し易いけれど勇ましくらない」ということは事実と異なれば付き合わすということはない
事実18: もし仮に「「なにかは麗しいけれどそれは散布するということはない」ということは事実だ」ということは成り立たないならば勇ましかない

仮説: 「「「麗しくて加えて散布しない」ということは真実でないならば勇ましくらない」ものはある」ということは成り立たない
1. 事実18から、推論1: "もし仮に「あの居心地は麗しいがしかし散布しない」ということは成り立たないならそれは勇ましいということはない"が導かれる
2. 推論1から、仮説が否定される

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