「その空き瓶は出し難くないしその上自己批判でない」ということは間違っている
fact1: もしその判然は出し難くないとすれば「その空き瓶は出し難いということはないけれどそれは自己批判だ」ということは間違いである fact2: その判然は手緩い fact3: 仮に何かは知りゃするとすると高齢世代である fact4: 篠田隊員は嬉しいということはないがしかし知りゃする fact5: もしもその判然は出し難くないとしたら「その空き瓶は出し難くなくて更に自己批判でない」ということは成り立たない fact6: 仮にその泥炭地盤は出し難いけれど高齢世代でないとすれば手緩くない fact7: その空き瓶は老いさらばえるけどそれは平らげるということはない fact8: 高齢世代は出し難くなくて自己批判でない fact9: 仮に「その空き瓶は出し難くなくてその上高齢世代でない」ということは間違いであるとするとそのクテンは高齢世代でない fact10: もし仮に何らかのものは自己批判である一方で出し難いということはないとしたら平らげない fact11: 「そのノットは神々しいがしかし出し難くない」ということは成り立つ fact12: 「その空き瓶は出し難くないけど自己批判である」ということは正しくない fact13: その泥炭地盤は高齢世代でない fact14: もしその泥炭地盤が高齢世代でないならばあの判然は手緩いがしかし平らげない fact15: その判然は高齢世代でない fact16: その泥炭地盤は平らげない fact17: その判然が出し難くないとすればその泥炭地盤は自己批判であるけれど高齢世代でない fact18: 「その空き瓶は出し難いけど自己批判であるということはない」ということは成り立たない fact19: 仮にその泥炭地盤が高齢世代でないとしたらその判然は手緩い fact20: 「何かは知りゃしないかあるいはそれは嬉しいかもしくは両方ともだ」ということは事実と異なるとすればそれは自己批判である fact21: 仮にその判然は出し難くないとすると「その空き瓶は出し難い一方でそれは自己批判でない」ということは間違いである fact22: その空き瓶は高齢世代でない fact23: もしもとあるものは自己批判ならば「それが出し難くないしさらに高齢世代でない」ということは間違いだ fact24: もし仮に手緩いものが平らげないとすれば出し難くない
fact24 -> int1: もしもその判然が手緩いけど平らげるということはないならばそれは出し難くない; fact13 & fact14 -> int2: その判然は手緩い一方でそれは平らげない; int1 & int2 -> int3: その判然は出し難くない; int3 & fact5 -> hypothesis;
そのクテンは高齢世代だということはない
fact27 -> int4: もし「その空き瓶は自己批判である」ということは間違いでないとすれば「出し難くなくて加えてそれは高齢世代でない」ということは成り立たない; fact26 -> int5: 仮に「その泥炭地盤は知りゃするということはないかそれは嬉しいかもしくは両方だ」ということは嘘であるとするとそれは自己批判だ;
$facts$ = fact1: もしその判然は出し難くないとすれば「その空き瓶は出し難いということはないけれどそれは自己批判だ」ということは間違いである fact2: その判然は手緩い fact3: 仮に何かは知りゃするとすると高齢世代である fact4: 篠田隊員は嬉しいということはないがしかし知りゃする fact5: もしもその判然は出し難くないとしたら「その空き瓶は出し難くなくて更に自己批判でない」ということは成り立たない fact6: 仮にその泥炭地盤は出し難いけれど高齢世代でないとすれば手緩くない fact7: その空き瓶は老いさらばえるけどそれは平らげるということはない fact8: 高齢世代は出し難くなくて自己批判でない fact9: 仮に「その空き瓶は出し難くなくてその上高齢世代でない」ということは間違いであるとするとそのクテンは高齢世代でない fact10: もし仮に何らかのものは自己批判である一方で出し難いということはないとしたら平らげない fact11: 「そのノットは神々しいがしかし出し難くない」ということは成り立つ fact12: 「その空き瓶は出し難くないけど自己批判である」ということは正しくない fact13: その泥炭地盤は高齢世代でない fact14: もしその泥炭地盤が高齢世代でないならばあの判然は手緩いがしかし平らげない fact15: その判然は高齢世代でない fact16: その泥炭地盤は平らげない fact17: その判然が出し難くないとすればその泥炭地盤は自己批判であるけれど高齢世代でない fact18: 「その空き瓶は出し難いけど自己批判であるということはない」ということは成り立たない fact19: 仮にその泥炭地盤が高齢世代でないとしたらその判然は手緩い fact20: 「何かは知りゃしないかあるいはそれは嬉しいかもしくは両方ともだ」ということは事実と異なるとすればそれは自己批判である fact21: 仮にその判然は出し難くないとすると「その空き瓶は出し難い一方でそれは自己批判でない」ということは間違いである fact22: その空き瓶は高齢世代でない fact23: もしもとあるものは自己批判ならば「それが出し難くないしさらに高齢世代でない」ということは間違いだ fact24: もし仮に手緩いものが平らげないとすれば出し難くない ; $hypothesis$ = 「その空き瓶は出し難くないしその上自己批判でない」ということは間違っている ; $proof$ = 
fact24 -> int1: もしもその判然が手緩いけど平らげるということはないならばそれは出し難くない; fact13 & fact14 -> int2: その判然は手緩い一方でそれは平らげない; int1 & int2 -> int3: その判然は出し難くない; int3 & fact5 -> hypothesis; __PROVED__
事実1: もしその判然は出し難くないとすれば「その空き瓶は出し難いということはないけれどそれは自己批判だ」ということは間違いである
事実2: その判然は手緩い
事実3: 仮に何かは知りゃするとすると高齢世代である
事実4: 篠田隊員は嬉しいということはないがしかし知りゃする
事実5: もしもその判然は出し難くないとしたら「その空き瓶は出し難くなくて更に自己批判でない」ということは成り立たない
事実6: 仮にその泥炭地盤は出し難いけれど高齢世代でないとすれば手緩くない
事実7: その空き瓶は老いさらばえるけどそれは平らげるということはない
事実8: 高齢世代は出し難くなくて自己批判でない
事実9: 仮に「その空き瓶は出し難くなくてその上高齢世代でない」ということは間違いであるとするとそのクテンは高齢世代でない
事実10: もし仮に何らかのものは自己批判である一方で出し難いということはないとしたら平らげない
事実11: 「そのノットは神々しいがしかし出し難くない」ということは成り立つ
事実12: 「その空き瓶は出し難くないけど自己批判である」ということは正しくない
事実13: その泥炭地盤は高齢世代でない
事実14: もしその泥炭地盤が高齢世代でないならばあの判然は手緩いがしかし平らげない
事実15: その判然は高齢世代でない
事実16: その泥炭地盤は平らげない
事実17: その判然が出し難くないとすればその泥炭地盤は自己批判であるけれど高齢世代でない
事実18: 「その空き瓶は出し難いけど自己批判であるということはない」ということは成り立たない
事実19: 仮にその泥炭地盤が高齢世代でないとしたらその判然は手緩い
事実20: 「何かは知りゃしないかあるいはそれは嬉しいかもしくは両方ともだ」ということは事実と異なるとすればそれは自己批判である
事実21: 仮にその判然は出し難くないとすると「その空き瓶は出し難い一方でそれは自己批判でない」ということは間違いである
事実22: その空き瓶は高齢世代でない
事実23: もしもとあるものは自己批判ならば「それが出し難くないしさらに高齢世代でない」ということは間違いだ
事実24: もし仮に手緩いものが平らげないとすれば出し難くない

仮説: 「その空き瓶は出し難くないしその上自己批判でない」ということは間違っている
1. 事実24から、推論1: "もしもその判然が手緩いけど平らげるということはないならばそれは出し難くない"が導かれる
2. 事実13と事実14から、推論2: "その判然は手緩い一方でそれは平らげない"が導かれる
3. 推論1と推論2から、推論3: "その判然は出し難くない"が導かれる
4. 推論3と事実5から、仮説が導かれる

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