この異歴史は勤王家だということはない
fact1: 仮にその指定都市等が剥離し難いとするとこの焼き肉店は攻城だ fact2: あるものは発給すれば「それは剥離し難いということはないし攻城でない」ということは嘘である fact3: この焼き肉店は抗い難い fact4: 抗い難いものは勤王家だ fact5: その指定都市等は淫肉であるしさらにそれは酒臭い fact6: 「あの第四趾間が発給すればこの異歴史は勤王家であるということはない」ということは確かだ fact7: もし「その管理組合運営は剥離し難くないしそれに抗い難くない」ということは成り立たないならば攻城でない fact8: もしも「その指定都市等は抗い難い」ということは成り立つとしたら「この焼き肉店は攻城である」ということは成り立つ fact9: 仮にその指定都市等が発給するとすればあの第四趾間は抗い難い fact10: その指定都市等は抗い難いかもしくは剥離し難い fact11: この焼き肉店は攻城なら「あの第四趾間は発給する」ということは事実だ fact12: 淫肉は発給する fact13: もしこの異歴史が抗い難いならその指定都市等は勤王家だ
fact10 & fact8 & fact1 -> int1: この焼き肉店は攻城だ; int1 & fact11 -> int2: あの第四趾間は発給する; int2 & fact6 -> hypothesis;
この異歴史は勤王家だ
fact15 -> int3: もし仮にこの異歴史が抗い難いとしたら勤王家だ; fact17 -> int4: もしその指定都市等は発給するとしたら「それは剥離し難くないしまた攻城だということはない」ということは本当でない; fact16 -> int5: その指定都市等が淫肉だとすればそれは発給する; fact14 -> int6: 「その指定都市等は淫肉だ」ということは本当だ; int5 & int6 -> int7: その指定都市等は発給する; int4 & int7 -> int8: 「その指定都市等は剥離し難くないし更に攻城でない」ということは成り立たない; int8 -> int9: 「「「剥離し難いということはなくて加えて攻城でない」ということは嘘でない」ということは成り立たない」ものはある;
$facts$ = fact1: 仮にその指定都市等が剥離し難いとするとこの焼き肉店は攻城だ fact2: あるものは発給すれば「それは剥離し難いということはないし攻城でない」ということは嘘である fact3: この焼き肉店は抗い難い fact4: 抗い難いものは勤王家だ fact5: その指定都市等は淫肉であるしさらにそれは酒臭い fact6: 「あの第四趾間が発給すればこの異歴史は勤王家であるということはない」ということは確かだ fact7: もし「その管理組合運営は剥離し難くないしそれに抗い難くない」ということは成り立たないならば攻城でない fact8: もしも「その指定都市等は抗い難い」ということは成り立つとしたら「この焼き肉店は攻城である」ということは成り立つ fact9: 仮にその指定都市等が発給するとすればあの第四趾間は抗い難い fact10: その指定都市等は抗い難いかもしくは剥離し難い fact11: この焼き肉店は攻城なら「あの第四趾間は発給する」ということは事実だ fact12: 淫肉は発給する fact13: もしこの異歴史が抗い難いならその指定都市等は勤王家だ ; $hypothesis$ = この異歴史は勤王家だということはない ; $proof$ = 
fact10 & fact8 & fact1 -> int1: この焼き肉店は攻城だ; int1 & fact11 -> int2: あの第四趾間は発給する; int2 & fact6 -> hypothesis; __PROVED__
事実1: 仮にその指定都市等が剥離し難いとするとこの焼き肉店は攻城だ
事実2: あるものは発給すれば「それは剥離し難いということはないし攻城でない」ということは嘘である
事実3: この焼き肉店は抗い難い
事実4: 抗い難いものは勤王家だ
事実5: その指定都市等は淫肉であるしさらにそれは酒臭い
事実6: 「あの第四趾間が発給すればこの異歴史は勤王家であるということはない」ということは確かだ
事実7: もし「その管理組合運営は剥離し難くないしそれに抗い難くない」ということは成り立たないならば攻城でない
事実8: もしも「その指定都市等は抗い難い」ということは成り立つとしたら「この焼き肉店は攻城である」ということは成り立つ
事実9: 仮にその指定都市等が発給するとすればあの第四趾間は抗い難い
事実10: その指定都市等は抗い難いかもしくは剥離し難い
事実11: この焼き肉店は攻城なら「あの第四趾間は発給する」ということは事実だ
事実12: 淫肉は発給する
事実13: もしこの異歴史が抗い難いならその指定都市等は勤王家だ

仮説: この異歴史は勤王家だということはない
1. 事実10と事実8と事実1から、推論1: "この焼き肉店は攻城だ"が導かれる
2. 推論1と事実11から、推論2: "あの第四趾間は発給する"が導かれる
3. 推論2と事実6から、仮説が導かれる

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