「あの中位推計は交代するが酷くない」ということは成り立たない
fact1: もしもなにかは適正価格でないとすると「それは交代するけれど酷くない」ということは成り立つ fact2: この仕法は作業密度でない fact3: もし仮にあの魚鱗は適正価格でないならば「この謝罪嘆願は楔形文字だけど作業密度でない」ということは嘘だ fact4: 「あの中位推計は交代するしおまけにそれは酷い」ということは誤っている fact5: もしその介護員は交代すれば「あの中位推計は交代するがしかしそれは酷いということはない」ということは偽だ fact6: 「この謝罪嘆願は楔形文字でなくてその上酷くない」ということは成り立たない fact7: もし仮に「「この謝罪嘆願は楔形文字でないしさらに作業密度でない」ということは成り立つ」ということは偽であるならばあの介護員は交代する fact8: 「この謝罪嘆願は楔形文字だがそれは作業密度でない」ということは成り立たない fact9: 「あの中位推計は交代するけれど適正価格でない」ということは偽だ fact10: もしあの魚鱗は適正価格でないなら「この謝罪嘆願は楔形文字でなくてその上作業密度でない」ということは成り立たない fact11: 仮に「あの中位推計は交代しないしおまけにそれは適正価格でない」ということは成り立たないとしたらその介護員は酷い fact12: 仮にこの謝罪嘆願は酷いとしたら「あの中位推計は酷いが楔形文字でない」ということは嘘だ fact13: なにかは適正価格でないとすれば「交代する一方で生々しいということはない」ということは正しいということはない fact14: 「あの魚鱗は適正価格である一方で楔形文字でない」ということは間違いだ fact15: もしもあの魚鱗は適正価格であるということはないとすると「この謝罪嘆願は楔形文字でないがしかし作業密度だ」ということは真実でない fact16: あの魚鱗は適正価格でない fact17: 「あの中位推計は適正価格であるけれど憚るない」ということは嘘だ fact18: その介護員は交代するなら「あの中位推計は交代するし酷い」ということは誤りである fact19: もし仮にこの謝罪嘆願は酷いとしたら「あの中位推計は酷い一方で作業密度でない」ということは確かでない fact20: 「この謝罪嘆願は楔形文字でないがしかし作業密度である」ということは確かでない
fact10 & fact16 -> int1: 「この謝罪嘆願は楔形文字だということはないし作業密度でない」ということは成り立たない; int1 & fact7 -> int2: その介護員は交代する; int2 & fact5 -> hypothesis;
fact10 & fact16 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 & fact7 -> int2: {B}{c}; int2 & fact5 -> hypothesis;
あの中位推計は交代するがしかしそれは酷くない
fact21 -> int3: あの中位推計が適正価格でないとすれば交代するしそれは酷くない;
$facts$ = fact1: もしもなにかは適正価格でないとすると「それは交代するけれど酷くない」ということは成り立つ fact2: この仕法は作業密度でない fact3: もし仮にあの魚鱗は適正価格でないならば「この謝罪嘆願は楔形文字だけど作業密度でない」ということは嘘だ fact4: 「あの中位推計は交代するしおまけにそれは酷い」ということは誤っている fact5: もしその介護員は交代すれば「あの中位推計は交代するがしかしそれは酷いということはない」ということは偽だ fact6: 「この謝罪嘆願は楔形文字でなくてその上酷くない」ということは成り立たない fact7: もし仮に「「この謝罪嘆願は楔形文字でないしさらに作業密度でない」ということは成り立つ」ということは偽であるならばあの介護員は交代する fact8: 「この謝罪嘆願は楔形文字だがそれは作業密度でない」ということは成り立たない fact9: 「あの中位推計は交代するけれど適正価格でない」ということは偽だ fact10: もしあの魚鱗は適正価格でないなら「この謝罪嘆願は楔形文字でなくてその上作業密度でない」ということは成り立たない fact11: 仮に「あの中位推計は交代しないしおまけにそれは適正価格でない」ということは成り立たないとしたらその介護員は酷い fact12: 仮にこの謝罪嘆願は酷いとしたら「あの中位推計は酷いが楔形文字でない」ということは嘘だ fact13: なにかは適正価格でないとすれば「交代する一方で生々しいということはない」ということは正しいということはない fact14: 「あの魚鱗は適正価格である一方で楔形文字でない」ということは間違いだ fact15: もしもあの魚鱗は適正価格であるということはないとすると「この謝罪嘆願は楔形文字でないがしかし作業密度だ」ということは真実でない fact16: あの魚鱗は適正価格でない fact17: 「あの中位推計は適正価格であるけれど憚るない」ということは嘘だ fact18: その介護員は交代するなら「あの中位推計は交代するし酷い」ということは誤りである fact19: もし仮にこの謝罪嘆願は酷いとしたら「あの中位推計は酷い一方で作業密度でない」ということは確かでない fact20: 「この謝罪嘆願は楔形文字でないがしかし作業密度である」ということは確かでない ; $hypothesis$ = 「あの中位推計は交代するが酷くない」ということは成り立たない ; $proof$ = 
fact10 & fact16 -> int1: 「この謝罪嘆願は楔形文字だということはないし作業密度でない」ということは成り立たない; int1 & fact7 -> int2: その介護員は交代する; int2 & fact5 -> hypothesis; __PROVED__
事実1: もしもなにかは適正価格でないとすると「それは交代するけれど酷くない」ということは成り立つ
事実2: この仕法は作業密度でない
事実3: もし仮にあの魚鱗は適正価格でないならば「この謝罪嘆願は楔形文字だけど作業密度でない」ということは嘘だ
事実4: 「あの中位推計は交代するしおまけにそれは酷い」ということは誤っている
事実5: もしその介護員は交代すれば「あの中位推計は交代するがしかしそれは酷いということはない」ということは偽だ
事実6: 「この謝罪嘆願は楔形文字でなくてその上酷くない」ということは成り立たない
事実7: もし仮に「「この謝罪嘆願は楔形文字でないしさらに作業密度でない」ということは成り立つ」ということは偽であるならばあの介護員は交代する
事実8: 「この謝罪嘆願は楔形文字だがそれは作業密度でない」ということは成り立たない
事実9: 「あの中位推計は交代するけれど適正価格でない」ということは偽だ
事実10: もしあの魚鱗は適正価格でないなら「この謝罪嘆願は楔形文字でなくてその上作業密度でない」ということは成り立たない
事実11: 仮に「あの中位推計は交代しないしおまけにそれは適正価格でない」ということは成り立たないとしたらその介護員は酷い
事実12: 仮にこの謝罪嘆願は酷いとしたら「あの中位推計は酷いが楔形文字でない」ということは嘘だ
事実13: なにかは適正価格でないとすれば「交代する一方で生々しいということはない」ということは正しいということはない
事実14: 「あの魚鱗は適正価格である一方で楔形文字でない」ということは間違いだ
事実15: もしもあの魚鱗は適正価格であるということはないとすると「この謝罪嘆願は楔形文字でないがしかし作業密度だ」ということは真実でない
事実16: あの魚鱗は適正価格でない
事実17: 「あの中位推計は適正価格であるけれど憚るない」ということは嘘だ
事実18: その介護員は交代するなら「あの中位推計は交代するし酷い」ということは誤りである
事実19: もし仮にこの謝罪嘆願は酷いとしたら「あの中位推計は酷い一方で作業密度でない」ということは確かでない
事実20: 「この謝罪嘆願は楔形文字でないがしかし作業密度である」ということは確かでない

仮説: 「あの中位推計は交代するが酷くない」ということは成り立たない
1. 事実10と事実16から、推論1: "「この謝罪嘆願は楔形文字だということはないし作業密度でない」ということは成り立たない"が導かれる
2. 推論1と事実7から、推論2: "その介護員は交代する"が導かれる
3. 推論2と事実5から、仮説が導かれる

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