この染め方は臨床講義だ
fact1: 仮に吊り易い物がミドルアイアンならばしゃぶらない fact2: 「もし仮に「「そのポーランド語はしゃぶらないしその上おどおどするない」ということは嘘である」ということは事実だとするとそのポーランド語はしゃぶる」ということは成り立つ fact3: 「そのポーランド語はしゃぶらないしおまけにおどおどしない」ということは事実と異なる fact4: そのポーランド語は御待ち頂けない fact5: そのポーランド語は吊り易くない fact6: もしもそのハイライト部分は増え難いということはないとすると「そのポーランド語は吊り易くないがミドルアイアンである」ということは成り立つ fact7: 吊り易くないし増え難いものは臨床講義でない fact8: 「そのポーランド語はしゃぶるけどおどおどしない」ということは誤りである fact9: もしも吊り易くないものはミドルアイアンであるならばそれはしゃぶらない fact10: そのポーランド語は吊り易いしその上ミドルアイアンであるとすれば「それはしゃぶらない」ということは成り立つ fact11: とあるものがしゃぶらないとしたら臨床講義でないし加えて増え難くない fact12: もしもそのハイライト部分が増え難くないとすればそのポーランド語は吊り易くない fact13: もしそのハイライト部分が増え難いとしたらこの染め方は臨床講義だ
void -> assump1: 以下のように仮定する。そのハイライト部分は増え難くない; fact6 & assump1 -> int1: そのポーランド語は吊り易くないけどミドルアイアンである; fact9 -> int2: もし仮にそのポーランド語が吊り易いということはない一方でミドルアイアンだとするとそれはしゃぶらない; int1 & int2 -> int3: そのポーランド語はしゃぶらない; fact2 & fact3 -> int4: そのポーランド語はしゃぶる; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのハイライト部分は増え難い; int6 & fact13 -> hypothesis;
この染め方は臨床講義でない
fact14 -> int7: 「もし「この染め方はしゃぶる」ということは事実と異なるとすると「この染め方は臨床講義でないし増え難くない」ということは成り立つ」ということは偽でない;
$facts$ = fact1: 仮に吊り易い物がミドルアイアンならばしゃぶらない fact2: 「もし仮に「「そのポーランド語はしゃぶらないしその上おどおどするない」ということは嘘である」ということは事実だとするとそのポーランド語はしゃぶる」ということは成り立つ fact3: 「そのポーランド語はしゃぶらないしおまけにおどおどしない」ということは事実と異なる fact4: そのポーランド語は御待ち頂けない fact5: そのポーランド語は吊り易くない fact6: もしもそのハイライト部分は増え難いということはないとすると「そのポーランド語は吊り易くないがミドルアイアンである」ということは成り立つ fact7: 吊り易くないし増え難いものは臨床講義でない fact8: 「そのポーランド語はしゃぶるけどおどおどしない」ということは誤りである fact9: もしも吊り易くないものはミドルアイアンであるならばそれはしゃぶらない fact10: そのポーランド語は吊り易いしその上ミドルアイアンであるとすれば「それはしゃぶらない」ということは成り立つ fact11: とあるものがしゃぶらないとしたら臨床講義でないし加えて増え難くない fact12: もしもそのハイライト部分が増え難くないとすればそのポーランド語は吊り易くない fact13: もしそのハイライト部分が増え難いとしたらこの染め方は臨床講義だ ; $hypothesis$ = この染め方は臨床講義だ ; $proof$ = 
void -> assump1: 以下のように仮定する。そのハイライト部分は増え難くない; fact6 & assump1 -> int1: そのポーランド語は吊り易くないけどミドルアイアンである; fact9 -> int2: もし仮にそのポーランド語が吊り易いということはない一方でミドルアイアンだとするとそれはしゃぶらない; int1 & int2 -> int3: そのポーランド語はしゃぶらない; fact2 & fact3 -> int4: そのポーランド語はしゃぶる; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのハイライト部分は増え難い; int6 & fact13 -> hypothesis; __PROVED__
事実1: 仮に吊り易い物がミドルアイアンならばしゃぶらない
事実2: 「もし仮に「「そのポーランド語はしゃぶらないしその上おどおどするない」ということは嘘である」ということは事実だとするとそのポーランド語はしゃぶる」ということは成り立つ
事実3: 「そのポーランド語はしゃぶらないしおまけにおどおどしない」ということは事実と異なる
事実4: そのポーランド語は御待ち頂けない
事実5: そのポーランド語は吊り易くない
事実6: もしもそのハイライト部分は増え難いということはないとすると「そのポーランド語は吊り易くないがミドルアイアンである」ということは成り立つ
事実7: 吊り易くないし増え難いものは臨床講義でない
事実8: 「そのポーランド語はしゃぶるけどおどおどしない」ということは誤りである
事実9: もしも吊り易くないものはミドルアイアンであるならばそれはしゃぶらない
事実10: そのポーランド語は吊り易いしその上ミドルアイアンであるとすれば「それはしゃぶらない」ということは成り立つ
事実11: とあるものがしゃぶらないとしたら臨床講義でないし加えて増え難くない
事実12: もしもそのハイライト部分が増え難くないとすればそのポーランド語は吊り易くない
事実13: もしそのハイライト部分が増え難いとしたらこの染め方は臨床講義だ

仮説: この染め方は臨床講義だ
1. 仮定1: 以下のように仮定する。そのハイライト部分は増え難くない
2. 事実6と仮定1から、推論1: "そのポーランド語は吊り易くないけどミドルアイアンである"が導かれる
3. 事実9から、推論2: "もし仮にそのポーランド語が吊り易いということはない一方でミドルアイアンだとするとそれはしゃぶらない"が導かれる
4. 推論1と推論2から、推論3: "そのポーランド語はしゃぶらない"が導かれる
5. 事実2と事実3から、推論4: "そのポーランド語はしゃぶる"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "そのハイライト部分は増え難い"が導かれる
8. 推論6と事実13から、仮説が導かれる

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