あの削り節は形容し難い
fact1: あの削り節は移譲だ fact2: その平安京は傷害事件でない fact3: もし「その集会は日本人らしくないかあるいは食べ易くない」ということは成り立つということはないならばあの削り節は日本人らしくない fact4: 仮にあの削り節が形容し難いということはないとするとそれは移譲だ fact5: あの削り節は日本人らしくないとすると「その贅沢品は形容し難いかまたは大戸であるかあるいは両方である」ということは間違いだ fact6: 「あるものは形容し難いかまたは大戸であるかまたは両方である」ということは間違っていればそれは移譲でない fact7: 仮になにがしかのものは振り翳すかもしくは公式発表しないかまたは両方ともだとするとそれは公式発表しない fact8: もしもあの削り節が形容し難いということはないとしたら移譲であるけれど傷害事件であるということはない fact9: もし仮にその集会が公式発表しないとすれば様良くてそれは稼げる fact10: 仮になんらかの物は様良しなら「それは日本人らしくないかもしくは食べ易くないか両方だ」ということは誤りである fact11: あの削り節はラウンドである fact12: あの削り節は傷害事件だ
void -> assump1: 以下のように仮定する。あの削り節は形容し難くない; fact8 & assump1 -> int1: あの削り節は移譲だ一方で傷害事件でない; int1 -> int2: あの削り節は傷害事件でない; int2 & fact12 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その贅沢品は移譲でない
fact15 -> int4: もしも「その贅沢品は形容し難いかそれは大戸である」ということは正しくないとすれば移譲でない; fact16 -> int5: もしもその集会は様良しとすれば「日本人らしいということはないかまたは食べ易いということはないかあるいは両方ともだ」ということは間違っている; fact14 -> int6: 仮にその集会が振り翳すかあるいはそれは公式発表しないかまたは両方ともであるとしたら公式発表しない;
$facts$ = fact1: あの削り節は移譲だ fact2: その平安京は傷害事件でない fact3: もし「その集会は日本人らしくないかあるいは食べ易くない」ということは成り立つということはないならばあの削り節は日本人らしくない fact4: 仮にあの削り節が形容し難いということはないとするとそれは移譲だ fact5: あの削り節は日本人らしくないとすると「その贅沢品は形容し難いかまたは大戸であるかあるいは両方である」ということは間違いだ fact6: 「あるものは形容し難いかまたは大戸であるかまたは両方である」ということは間違っていればそれは移譲でない fact7: 仮になにがしかのものは振り翳すかもしくは公式発表しないかまたは両方ともだとするとそれは公式発表しない fact8: もしもあの削り節が形容し難いということはないとしたら移譲であるけれど傷害事件であるということはない fact9: もし仮にその集会が公式発表しないとすれば様良くてそれは稼げる fact10: 仮になんらかの物は様良しなら「それは日本人らしくないかもしくは食べ易くないか両方だ」ということは誤りである fact11: あの削り節はラウンドである fact12: あの削り節は傷害事件だ ; $hypothesis$ = あの削り節は形容し難い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの削り節は形容し難くない; fact8 & assump1 -> int1: あの削り節は移譲だ一方で傷害事件でない; int1 -> int2: あの削り節は傷害事件でない; int2 & fact12 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: あの削り節は移譲だ
事実2: その平安京は傷害事件でない
事実3: もし「その集会は日本人らしくないかあるいは食べ易くない」ということは成り立つということはないならばあの削り節は日本人らしくない
事実4: 仮にあの削り節が形容し難いということはないとするとそれは移譲だ
事実5: あの削り節は日本人らしくないとすると「その贅沢品は形容し難いかまたは大戸であるかあるいは両方である」ということは間違いだ
事実6: 「あるものは形容し難いかまたは大戸であるかまたは両方である」ということは間違っていればそれは移譲でない
事実7: 仮になにがしかのものは振り翳すかもしくは公式発表しないかまたは両方ともだとするとそれは公式発表しない
事実8: もしもあの削り節が形容し難いということはないとしたら移譲であるけれど傷害事件であるということはない
事実9: もし仮にその集会が公式発表しないとすれば様良くてそれは稼げる
事実10: 仮になんらかの物は様良しなら「それは日本人らしくないかもしくは食べ易くないか両方だ」ということは誤りである
事実11: あの削り節はラウンドである
事実12: あの削り節は傷害事件だ

仮説: あの削り節は形容し難い
1. 仮定1: 以下のように仮定する。あの削り節は形容し難くない
2. 事実8と仮定1から、推論1: "あの削り節は移譲だ一方で傷害事件でない"が導かれる
3. 推論1から、推論2: "あの削り節は傷害事件でない"が導かれる
4. 推論2と事実12から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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