その砲台は破れ難くない
fact1: もしもそのＤＦＤＲは連想し易いなら「生み出し続けないかもしくは立て難くないかまたは両方ともだ」ということは成り立たない fact2: もしもこの労働心理学が聞き易くて答え難いとすればそのＤＦＤＲは古ぼけない fact3: もし仮になんらかのものは古ぼけないとすれば「それは答え難いけど聞き易くない」ということは成り立たない fact4: もしもなにかは古ぼけないとすればそれは破れ難いかまたはそれは連想し易くない fact5: 仮になにがしかの物は古ぼけないとすれば「それは答え難くなくてその上それは聞き易くない」ということは事実と異なる fact6: この世間体が配置転換しないならばその砲台は破れ難くない fact7: そのＤＦＤＲは連想し易い fact8: もし仮にそのＤＦＤＲが破れ難いかそれが連想し易くないならばその砲台は破れ難い fact9: もし「「そのＤＦＤＲは生み出し続けるということはないか立て難くないかあるいは両方ともである」ということは事実だ」ということは正しいということはないならば「この労働心理学は古ぼけない」ということは事実である fact10: もしあるものは内懐だということはないかもしくは家毎であるということはないかあるいは両方ならばそれは答え難い fact11: もし仮に「「答え難くないし聞き易くない」ということは成り立たない」物があるならばあの世間体は配置転換しない fact12: もしこの世間体は受理するということはなくて潔しないならばそれは吐き捨てる fact13: もし仮にある物は吐き捨てるとすれば「配置転換する一方で装着しない」ということは嘘だ fact14: 「この世間体は配置転換するが装着しない」ということは成り立つということはないとしたらこの労働心理学は聞き易い fact15: もしもこの労働心理学が起き難いとすると内懐でないかまたはそれは家毎でない
fact1 & fact7 -> int1: 「そのＤＦＤＲは生み出し続けないか立て難くないかもしくは両方である」ということは成り立つということはない; int1 & fact9 -> int2: この労働心理学は古ぼけない; fact5 -> int3: もし仮にこの労働心理学は古ぼけるということはないなら「それは答え難くないしそれは聞き易くない」ということは間違っている; int2 & int3 -> int4: 「「この労働心理学は答え難くないし聞き易くない」ということは成り立つ」ということは誤りである; int4 -> int5: 「「答え難くなくてかつ聞き易くない」ということは誤りな」物はある; int5 & fact11 -> int6: 「この世間体は配置転換しない」ということは成り立つ; int6 & fact6 -> hypothesis;
その砲台は破れ難い
fact20 -> int7: もしそのＤＦＤＲが古ぼけるということはないとしたら破れ難いかもしくは連想し易くないかまたは両方ともである; fact21 -> int8: 仮にこの世間体は吐き捨てれば「それは配置転換するけど装着しない」ということは事実でない; fact23 -> int9: もし仮にこの労働心理学は内懐でないかもしくは家毎でないかまたは両方であるなら「答え難い」ということは成り立つ;
$facts$ = fact1: もしもそのＤＦＤＲは連想し易いなら「生み出し続けないかもしくは立て難くないかまたは両方ともだ」ということは成り立たない fact2: もしもこの労働心理学が聞き易くて答え難いとすればそのＤＦＤＲは古ぼけない fact3: もし仮になんらかのものは古ぼけないとすれば「それは答え難いけど聞き易くない」ということは成り立たない fact4: もしもなにかは古ぼけないとすればそれは破れ難いかまたはそれは連想し易くない fact5: 仮になにがしかの物は古ぼけないとすれば「それは答え難くなくてその上それは聞き易くない」ということは事実と異なる fact6: この世間体が配置転換しないならばその砲台は破れ難くない fact7: そのＤＦＤＲは連想し易い fact8: もし仮にそのＤＦＤＲが破れ難いかそれが連想し易くないならばその砲台は破れ難い fact9: もし「「そのＤＦＤＲは生み出し続けるということはないか立て難くないかあるいは両方ともである」ということは事実だ」ということは正しいということはないならば「この労働心理学は古ぼけない」ということは事実である fact10: もしあるものは内懐だということはないかもしくは家毎であるということはないかあるいは両方ならばそれは答え難い fact11: もし仮に「「答え難くないし聞き易くない」ということは成り立たない」物があるならばあの世間体は配置転換しない fact12: もしこの世間体は受理するということはなくて潔しないならばそれは吐き捨てる fact13: もし仮にある物は吐き捨てるとすれば「配置転換する一方で装着しない」ということは嘘だ fact14: 「この世間体は配置転換するが装着しない」ということは成り立つということはないとしたらこの労働心理学は聞き易い fact15: もしもこの労働心理学が起き難いとすると内懐でないかまたはそれは家毎でない ; $hypothesis$ = その砲台は破れ難くない ; $proof$ = 
fact1 & fact7 -> int1: 「そのＤＦＤＲは生み出し続けないか立て難くないかもしくは両方である」ということは成り立つということはない; int1 & fact9 -> int2: この労働心理学は古ぼけない; fact5 -> int3: もし仮にこの労働心理学は古ぼけるということはないなら「それは答え難くないしそれは聞き易くない」ということは間違っている; int2 & int3 -> int4: 「「この労働心理学は答え難くないし聞き易くない」ということは成り立つ」ということは誤りである; int4 -> int5: 「「答え難くなくてかつ聞き易くない」ということは誤りな」物はある; int5 & fact11 -> int6: 「この世間体は配置転換しない」ということは成り立つ; int6 & fact6 -> hypothesis; __PROVED__
事実1: もしもそのＤＦＤＲは連想し易いなら「生み出し続けないかもしくは立て難くないかまたは両方ともだ」ということは成り立たない
事実2: もしもこの労働心理学が聞き易くて答え難いとすればそのＤＦＤＲは古ぼけない
事実3: もし仮になんらかのものは古ぼけないとすれば「それは答え難いけど聞き易くない」ということは成り立たない
事実4: もしもなにかは古ぼけないとすればそれは破れ難いかまたはそれは連想し易くない
事実5: 仮になにがしかの物は古ぼけないとすれば「それは答え難くなくてその上それは聞き易くない」ということは事実と異なる
事実6: この世間体が配置転換しないならばその砲台は破れ難くない
事実7: そのＤＦＤＲは連想し易い
事実8: もし仮にそのＤＦＤＲが破れ難いかそれが連想し易くないならばその砲台は破れ難い
事実9: もし「「そのＤＦＤＲは生み出し続けるということはないか立て難くないかあるいは両方ともである」ということは事実だ」ということは正しいということはないならば「この労働心理学は古ぼけない」ということは事実である
事実10: もしあるものは内懐だということはないかもしくは家毎であるということはないかあるいは両方ならばそれは答え難い
事実11: もし仮に「「答え難くないし聞き易くない」ということは成り立たない」物があるならばあの世間体は配置転換しない
事実12: もしこの世間体は受理するということはなくて潔しないならばそれは吐き捨てる
事実13: もし仮にある物は吐き捨てるとすれば「配置転換する一方で装着しない」ということは嘘だ
事実14: 「この世間体は配置転換するが装着しない」ということは成り立つということはないとしたらこの労働心理学は聞き易い
事実15: もしもこの労働心理学が起き難いとすると内懐でないかまたはそれは家毎でない

仮説: その砲台は破れ難くない
1. 事実1と事実7から、推論1: "「そのＤＦＤＲは生み出し続けないか立て難くないかもしくは両方である」ということは成り立つということはない"が導かれる
2. 推論1と事実9から、推論2: "この労働心理学は古ぼけない"が導かれる
3. 事実5から、推論3: "もし仮にこの労働心理学は古ぼけるということはないなら「それは答え難くないしそれは聞き易くない」ということは間違っている"が導かれる
4. 推論2と推論3から、推論4: "「「この労働心理学は答え難くないし聞き易くない」ということは成り立つ」ということは誤りである"が導かれる
5. 推論4から、推論5: "「「答え難くなくてかつ聞き易くない」ということは誤りな」物はある"が導かれる
6. 推論5と事実11から、推論6: "「この世間体は配置転換しない」ということは成り立つ"が導かれる
7. 推論6と事実6から、仮説が導かれる

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