そのフリーゲンデは取り掛かり易くない
fact1: 「「取り掛かり易くないが腐り易い」ということは成り立たない」ものはある fact2: 「「腐り易くてまた燃え易い」ということは真実でない」ものはある fact3: もしそのフリーゲンデが中国侵略なら熟れる fact4: そのフリーゲンデは中国侵略でない fact5: 「「取り掛かり易いということはない一方で燃え易い」ということは成り立たない」物はある fact6: 仮に「そのフリーゲンデは熟れる」ということは確かであるならばそれは嫌らしいししかも煽てない fact7: 「腐り易い」物があればそのフリーゲンデは取り掛かり易くない fact8: 「その第三層内は腐り易くない一方で取り掛かり易い」ということは間違いである fact9: 腐り易いししかもそれは燃え易いというものはない fact10: もしもとあるものは版本でないとすると「生き為さらないか取り掛かり易くないかもしくはどちらもである」ということは真実でない fact11: 仮になんらかの物は版本でないとするとそれは取り掛かり易いし生き為さる fact12: そのフリーゲンデは間違い易くない fact13: それは腐り易くない一方で燃え易いという物はない fact14: もし「「燃え易くない一方で腐り易い」ということは嘘である」ものがあるとするとその第三層内は取り掛かり易くない fact15: 「その第三層内は腐り易いし更に燃え易い」ということは偽だ fact16: あのルートは狡賢くない fact17: もし仮に「なにがしかのものは嫌らしいけれど熟れない」ということは成り立たないとしたらそれは煽てない fact18: 仮に「「腐り易くないが燃え易い」ということは成り立たない」ものがあるならそのフリーゲンデは取り掛かり易くない fact19: 仮に「とあるものは生き為さるということはないか取り掛かり易くないかまたはどちらもだ」ということは成り立つということはないならばそれは腐り易くない fact20: もし「「腐り易くないけど燃え易い」ということは誤りである」ものがあるならその第三層内は取り掛かり易くない fact21: 「そのフリーゲンデは燃え易くないけど得られ易い」ということは成り立たない
fact13 -> int1: 「その第三層内は腐り易くないがしかし燃え易い」ということは誤っている; int1 -> int2: 「「腐り易くないし燃え易い」ということは間違いである」物はある; int2 & fact18 -> hypothesis;
fact13 -> int1: ¬(¬{AA}{aa} & {AB}{aa}); int1 -> int2: (Ex): ¬(¬{AA}x & {AB}x); int2 & fact18 -> hypothesis;
そのフリーゲンデは取り掛かり易い
fact22 -> int3: もしもそのフリーゲンデは版本でないなら取り掛かり易くておまけに生き為さる; fact23 -> int4: もしも「その衝撃値は嫌らしいけど熟れない」ということは誤りならそれは煽てない;
$facts$ = fact1: 「「取り掛かり易くないが腐り易い」ということは成り立たない」ものはある fact2: 「「腐り易くてまた燃え易い」ということは真実でない」ものはある fact3: もしそのフリーゲンデが中国侵略なら熟れる fact4: そのフリーゲンデは中国侵略でない fact5: 「「取り掛かり易いということはない一方で燃え易い」ということは成り立たない」物はある fact6: 仮に「そのフリーゲンデは熟れる」ということは確かであるならばそれは嫌らしいししかも煽てない fact7: 「腐り易い」物があればそのフリーゲンデは取り掛かり易くない fact8: 「その第三層内は腐り易くない一方で取り掛かり易い」ということは間違いである fact9: 腐り易いししかもそれは燃え易いというものはない fact10: もしもとあるものは版本でないとすると「生き為さらないか取り掛かり易くないかもしくはどちらもである」ということは真実でない fact11: 仮になんらかの物は版本でないとするとそれは取り掛かり易いし生き為さる fact12: そのフリーゲンデは間違い易くない fact13: それは腐り易くない一方で燃え易いという物はない fact14: もし「「燃え易くない一方で腐り易い」ということは嘘である」ものがあるとするとその第三層内は取り掛かり易くない fact15: 「その第三層内は腐り易いし更に燃え易い」ということは偽だ fact16: あのルートは狡賢くない fact17: もし仮に「なにがしかのものは嫌らしいけれど熟れない」ということは成り立たないとしたらそれは煽てない fact18: 仮に「「腐り易くないが燃え易い」ということは成り立たない」ものがあるならそのフリーゲンデは取り掛かり易くない fact19: 仮に「とあるものは生き為さるということはないか取り掛かり易くないかまたはどちらもだ」ということは成り立つということはないならばそれは腐り易くない fact20: もし「「腐り易くないけど燃え易い」ということは誤りである」ものがあるならその第三層内は取り掛かり易くない fact21: 「そのフリーゲンデは燃え易くないけど得られ易い」ということは成り立たない ; $hypothesis$ = そのフリーゲンデは取り掛かり易くない ; $proof$ = 
fact13 -> int1: 「その第三層内は腐り易くないがしかし燃え易い」ということは誤っている; int1 -> int2: 「「腐り易くないし燃え易い」ということは間違いである」物はある; int2 & fact18 -> hypothesis; __PROVED__
事実1: 「「取り掛かり易くないが腐り易い」ということは成り立たない」ものはある
事実2: 「「腐り易くてまた燃え易い」ということは真実でない」ものはある
事実3: もしそのフリーゲンデが中国侵略なら熟れる
事実4: そのフリーゲンデは中国侵略でない
事実5: 「「取り掛かり易いということはない一方で燃え易い」ということは成り立たない」物はある
事実6: 仮に「そのフリーゲンデは熟れる」ということは確かであるならばそれは嫌らしいししかも煽てない
事実7: 「腐り易い」物があればそのフリーゲンデは取り掛かり易くない
事実8: 「その第三層内は腐り易くない一方で取り掛かり易い」ということは間違いである
事実9: 腐り易いししかもそれは燃え易いというものはない
事実10: もしもとあるものは版本でないとすると「生き為さらないか取り掛かり易くないかもしくはどちらもである」ということは真実でない
事実11: 仮になんらかの物は版本でないとするとそれは取り掛かり易いし生き為さる
事実12: そのフリーゲンデは間違い易くない
事実13: それは腐り易くない一方で燃え易いという物はない
事実14: もし「「燃え易くない一方で腐り易い」ということは嘘である」ものがあるとするとその第三層内は取り掛かり易くない
事実15: 「その第三層内は腐り易いし更に燃え易い」ということは偽だ
事実16: あのルートは狡賢くない
事実17: もし仮に「なにがしかのものは嫌らしいけれど熟れない」ということは成り立たないとしたらそれは煽てない
事実18: 仮に「「腐り易くないが燃え易い」ということは成り立たない」ものがあるならそのフリーゲンデは取り掛かり易くない
事実19: 仮に「とあるものは生き為さるということはないか取り掛かり易くないかまたはどちらもだ」ということは成り立つということはないならばそれは腐り易くない
事実20: もし「「腐り易くないけど燃え易い」ということは誤りである」ものがあるならその第三層内は取り掛かり易くない
事実21: 「そのフリーゲンデは燃え易くないけど得られ易い」ということは成り立たない

仮説: そのフリーゲンデは取り掛かり易くない
1. 事実13から、推論1: "「その第三層内は腐り易くないがしかし燃え易い」ということは誤っている"が導かれる
2. 推論1から、推論2: "「「腐り易くないし燃え易い」ということは間違いである」物はある"が導かれる
3. 推論2と事実18から、仮説が導かれる

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