「そのスコットランド訛りは憎らしくないけどアプレットウィザードである」ということは嘘である
fact1: もし「得られ易くない」物はあれば「この討論は健康増進でない一方でそれは得られ易い」ということは成り立たない fact2: もし仮にそのスコットランド訛りは息み始めないとすると「憎らしくないがしかしアプレットウィザードである」ということは誤りだ fact3: もしそのスコットランド訛りは長期不況であるなら憎らしい fact4: もしもこのサクセスフル・エイジングが息み始めないとしたらそのスコットランド訛りは憎らしくないけれどアプレットウィザードである fact5: もし仮にそのシュガーが息み始めないとしたらこのサクセスフル・エイジングは息み始めない fact6: 仮に「なにかは息み始めるけどそれは増え難くない」ということは間違っているとすればそれは息み始めない fact7: もしもこのサクセスフル・エイジングが感化しないかもしくは健康増進であるかまたはどちらもならばそのスコットランド訛りは息み始めない fact8: このサクセスフル・エイジングは感化しないかもしくはそれは健康増進であるかどちらもである fact9: 「この政治的意図は頭上でない」ということは確かだとしたらそのシュガーは差し押さえるしかつそれは長期不況だ fact10: もし仮に「「なにがしかのものは得られ易いしさらにアプレットウィザードである」ということは確かだ」ということは誤りであるならばそれは得られ易くない fact11: もし仮にあるものは長期不況であるとすれば「息み始めるしさらにそれは増え難くない」ということは誤っている fact12: もしもなにがしかの物は息み始めないとすると「「得られ易いし更にアプレットウィザードだ」ということは確かだ」ということは偽だ fact13: 「憎らしい」ものがあるとすればあのサクセスフル・エイジングは息み始めない
fact7 & fact8 -> int1: そのスコットランド訛りは息み始めない; int1 & fact2 -> hypothesis;
そのスコットランド訛りは憎らしくないけどそれはアプレットウィザードである
fact17 -> int2: もし「そのシュガーは息み始めるけれど増え難くない」ということは間違いならばそれは息み始めない; fact18 -> int3: もしそのシュガーは長期不況であるとすれば「それは息み始めるし更にそれは増え難くない」ということは成り立つということはない;
$facts$ = fact1: もし「得られ易くない」物はあれば「この討論は健康増進でない一方でそれは得られ易い」ということは成り立たない fact2: もし仮にそのスコットランド訛りは息み始めないとすると「憎らしくないがしかしアプレットウィザードである」ということは誤りだ fact3: もしそのスコットランド訛りは長期不況であるなら憎らしい fact4: もしもこのサクセスフル・エイジングが息み始めないとしたらそのスコットランド訛りは憎らしくないけれどアプレットウィザードである fact5: もし仮にそのシュガーが息み始めないとしたらこのサクセスフル・エイジングは息み始めない fact6: 仮に「なにかは息み始めるけどそれは増え難くない」ということは間違っているとすればそれは息み始めない fact7: もしもこのサクセスフル・エイジングが感化しないかもしくは健康増進であるかまたはどちらもならばそのスコットランド訛りは息み始めない fact8: このサクセスフル・エイジングは感化しないかもしくはそれは健康増進であるかどちらもである fact9: 「この政治的意図は頭上でない」ということは確かだとしたらそのシュガーは差し押さえるしかつそれは長期不況だ fact10: もし仮に「「なにがしかのものは得られ易いしさらにアプレットウィザードである」ということは確かだ」ということは誤りであるならばそれは得られ易くない fact11: もし仮にあるものは長期不況であるとすれば「息み始めるしさらにそれは増え難くない」ということは誤っている fact12: もしもなにがしかの物は息み始めないとすると「「得られ易いし更にアプレットウィザードだ」ということは確かだ」ということは偽だ fact13: 「憎らしい」ものがあるとすればあのサクセスフル・エイジングは息み始めない ; $hypothesis$ = 「そのスコットランド訛りは憎らしくないけどアプレットウィザードである」ということは嘘である ; $proof$ = 
fact7 & fact8 -> int1: そのスコットランド訛りは息み始めない; int1 & fact2 -> hypothesis; __PROVED__
事実1: もし「得られ易くない」物はあれば「この討論は健康増進でない一方でそれは得られ易い」ということは成り立たない
事実2: もし仮にそのスコットランド訛りは息み始めないとすると「憎らしくないがしかしアプレットウィザードである」ということは誤りだ
事実3: もしそのスコットランド訛りは長期不況であるなら憎らしい
事実4: もしもこのサクセスフル・エイジングが息み始めないとしたらそのスコットランド訛りは憎らしくないけれどアプレットウィザードである
事実5: もし仮にそのシュガーが息み始めないとしたらこのサクセスフル・エイジングは息み始めない
事実6: 仮に「なにかは息み始めるけどそれは増え難くない」ということは間違っているとすればそれは息み始めない
事実7: もしもこのサクセスフル・エイジングが感化しないかもしくは健康増進であるかまたはどちらもならばそのスコットランド訛りは息み始めない
事実8: このサクセスフル・エイジングは感化しないかもしくはそれは健康増進であるかどちらもである
事実9: 「この政治的意図は頭上でない」ということは確かだとしたらそのシュガーは差し押さえるしかつそれは長期不況だ
事実10: もし仮に「「なにがしかのものは得られ易いしさらにアプレットウィザードである」ということは確かだ」ということは誤りであるならばそれは得られ易くない
事実11: もし仮にあるものは長期不況であるとすれば「息み始めるしさらにそれは増え難くない」ということは誤っている
事実12: もしもなにがしかの物は息み始めないとすると「「得られ易いし更にアプレットウィザードだ」ということは確かだ」ということは偽だ
事実13: 「憎らしい」ものがあるとすればあのサクセスフル・エイジングは息み始めない

仮説: 「そのスコットランド訛りは憎らしくないけどアプレットウィザードである」ということは嘘である
1. 事実7と事実8から、推論1: "そのスコットランド訛りは息み始めない"が導かれる
2. 推論1と事実2から、仮説が導かれる

よって、仮説が証明されました。