「この主席は踏ん反らない一方でそれは酒臭い」ということは間違いだ
fact1: 「「粛清するかあるいは待ち遠しいかまたは両方ともだ」ということは正しくない」ものがあるとすればあの読書指導は大学願書である fact2: その読書指導は大学願書であるとすると「この一級技能士は酒臭い」ということは確かである fact3: 「「粛清するかもしくは待ち遠しいということはない」ということは成り立たない」物はある fact4: もし仮にこの一級技能士は酒臭いとすれば「この主席は踏ん反るし更に酒臭い」ということは成り立たない fact5: 仮に「この一級技能士は大学願書だけれど保留しない」ということは成り立たないならばあの読書指導は大学願書でない fact6: 「「粛清するかもしくは待ち遠しくないか両方だ」ということは誤りである」物があるとすればその読書指導は大学願書である fact7: 酒臭くない物は粛清するし大学願書だ fact8: もし「その読書指導は大学願書でない」ということは成り立つならこの主席は踏ん反らないが酒臭い fact9: 仮にあるものは燐酸化しないとすれば「それは大学願書だがしかし保留しない」ということは成り立たない fact10: 「この主席が大学願書だしそれは酒臭い」ということは誤りだ fact11: もし仮にこの一級技能士は酒臭いとすると「この主席は踏ん反らないがしかし酒臭い」ということは成り立たない fact12: 「粛清するかあるいは待ち遠しくないかもしくは両方である」ものはある
fact3 & fact6 -> int1: その読書指導は大学願書である; int1 & fact2 -> int2: この一級技能士は酒臭い; int2 & fact11 -> hypothesis;
この主席は踏ん反らないけど酒臭い
fact14 -> int3: 「この一級技能士は燐酸化しない」ということは真実であるとすれば「大学願書だけど保留するということはない」ということは偽である;
$facts$ = fact1: 「「粛清するかあるいは待ち遠しいかまたは両方ともだ」ということは正しくない」ものがあるとすればあの読書指導は大学願書である fact2: その読書指導は大学願書であるとすると「この一級技能士は酒臭い」ということは確かである fact3: 「「粛清するかもしくは待ち遠しいということはない」ということは成り立たない」物はある fact4: もし仮にこの一級技能士は酒臭いとすれば「この主席は踏ん反るし更に酒臭い」ということは成り立たない fact5: 仮に「この一級技能士は大学願書だけれど保留しない」ということは成り立たないならばあの読書指導は大学願書でない fact6: 「「粛清するかもしくは待ち遠しくないか両方だ」ということは誤りである」物があるとすればその読書指導は大学願書である fact7: 酒臭くない物は粛清するし大学願書だ fact8: もし「その読書指導は大学願書でない」ということは成り立つならこの主席は踏ん反らないが酒臭い fact9: 仮にあるものは燐酸化しないとすれば「それは大学願書だがしかし保留しない」ということは成り立たない fact10: 「この主席が大学願書だしそれは酒臭い」ということは誤りだ fact11: もし仮にこの一級技能士は酒臭いとすると「この主席は踏ん反らないがしかし酒臭い」ということは成り立たない fact12: 「粛清するかあるいは待ち遠しくないかもしくは両方である」ものはある ; $hypothesis$ = 「この主席は踏ん反らない一方でそれは酒臭い」ということは間違いだ ; $proof$ = 
fact3 & fact6 -> int1: その読書指導は大学願書である; int1 & fact2 -> int2: この一級技能士は酒臭い; int2 & fact11 -> hypothesis; __PROVED__
事実1: 「「粛清するかあるいは待ち遠しいかまたは両方ともだ」ということは正しくない」ものがあるとすればあの読書指導は大学願書である
事実2: その読書指導は大学願書であるとすると「この一級技能士は酒臭い」ということは確かである
事実3: 「「粛清するかもしくは待ち遠しいということはない」ということは成り立たない」物はある
事実4: もし仮にこの一級技能士は酒臭いとすれば「この主席は踏ん反るし更に酒臭い」ということは成り立たない
事実5: 仮に「この一級技能士は大学願書だけれど保留しない」ということは成り立たないならばあの読書指導は大学願書でない
事実6: 「「粛清するかもしくは待ち遠しくないか両方だ」ということは誤りである」物があるとすればその読書指導は大学願書である
事実7: 酒臭くない物は粛清するし大学願書だ
事実8: もし「その読書指導は大学願書でない」ということは成り立つならこの主席は踏ん反らないが酒臭い
事実9: 仮にあるものは燐酸化しないとすれば「それは大学願書だがしかし保留しない」ということは成り立たない
事実10: 「この主席が大学願書だしそれは酒臭い」ということは誤りだ
事実11: もし仮にこの一級技能士は酒臭いとすると「この主席は踏ん反らないがしかし酒臭い」ということは成り立たない
事実12: 「粛清するかあるいは待ち遠しくないかもしくは両方である」ものはある

仮説: 「この主席は踏ん反らない一方でそれは酒臭い」ということは間違いだ
1. 事実3と事実6から、推論1: "その読書指導は大学願書である"が導かれる
2. 推論1と事実2から、推論2: "この一級技能士は酒臭い"が導かれる
3. 推論2と事実11から、仮説が導かれる

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