あの現代医療は鬼子母神であるかあるいは寸止めである
fact1: もし仮にこの猪牙船が削り直すし更にそれが遣る瀬無いならばそれはしんどかない fact2: 東京生まれは寸止めでなくて責任転嫁しない fact3: あの現代医療は東京生まれである fact4: あの現代医療は理解し辛い fact5: あの収公が東京生まれであるとすればあのハードストーンは東京生まれである fact6: 仮にこの猪牙船がしんどかないならばあの収公は東京生まれであるしＧＳＥだ fact7: もしもとある物は東京生まれでないなら「「それは鬼子母神であるかあるいは寸止めである」ということは確かだ」ということは間違っている fact8: もし「なんらかの物はしんどいしそれにＧＳＥである」ということは成り立たないとしたら東京生まれでない fact9: 受け入れ難いということはないものは削り直すし遣る瀬無い fact10: もしもあのハードストーンは遣る瀬無くないとしたら「あの現代医療はしんどいしＧＳＥだ」ということは確かでない fact11: 「あの現代医療は鬼子母神で東京生まれだ」ということは成り立つ fact12: あのゴブラン織りは鬼子母神だ fact13: もしあのハードストーンが寸止めでないし責任転嫁しないとしたらあの現代医療は責任転嫁する
fact11 -> int1: あの現代医療は鬼子母神である; int1 -> hypothesis;
fact11 -> int1: {A}{a}; int1 -> hypothesis;
あの現代医療は鬼子母神であるかあるいは責任転嫁する
fact17 -> int2: もしもあのハードストーンが東京生まれだとするとそれは寸止めでなくてそれに責任転嫁しない; fact16 -> int3: 「「この猪牙船は受け入れ難くない」ということは事実であるとすればこの猪牙船は削り直すしまた遣る瀬無い」ということは成り立つ;
$facts$ = fact1: もし仮にこの猪牙船が削り直すし更にそれが遣る瀬無いならばそれはしんどかない fact2: 東京生まれは寸止めでなくて責任転嫁しない fact3: あの現代医療は東京生まれである fact4: あの現代医療は理解し辛い fact5: あの収公が東京生まれであるとすればあのハードストーンは東京生まれである fact6: 仮にこの猪牙船がしんどかないならばあの収公は東京生まれであるしＧＳＥだ fact7: もしもとある物は東京生まれでないなら「「それは鬼子母神であるかあるいは寸止めである」ということは確かだ」ということは間違っている fact8: もし「なんらかの物はしんどいしそれにＧＳＥである」ということは成り立たないとしたら東京生まれでない fact9: 受け入れ難いということはないものは削り直すし遣る瀬無い fact10: もしもあのハードストーンは遣る瀬無くないとしたら「あの現代医療はしんどいしＧＳＥだ」ということは確かでない fact11: 「あの現代医療は鬼子母神で東京生まれだ」ということは成り立つ fact12: あのゴブラン織りは鬼子母神だ fact13: もしあのハードストーンが寸止めでないし責任転嫁しないとしたらあの現代医療は責任転嫁する ; $hypothesis$ = あの現代医療は鬼子母神であるかあるいは寸止めである ; $proof$ = 
fact11 -> int1: あの現代医療は鬼子母神である; int1 -> hypothesis; __PROVED__
事実1: もし仮にこの猪牙船が削り直すし更にそれが遣る瀬無いならばそれはしんどかない
事実2: 東京生まれは寸止めでなくて責任転嫁しない
事実3: あの現代医療は東京生まれである
事実4: あの現代医療は理解し辛い
事実5: あの収公が東京生まれであるとすればあのハードストーンは東京生まれである
事実6: 仮にこの猪牙船がしんどかないならばあの収公は東京生まれであるしＧＳＥだ
事実7: もしもとある物は東京生まれでないなら「「それは鬼子母神であるかあるいは寸止めである」ということは確かだ」ということは間違っている
事実8: もし「なんらかの物はしんどいしそれにＧＳＥである」ということは成り立たないとしたら東京生まれでない
事実9: 受け入れ難いということはないものは削り直すし遣る瀬無い
事実10: もしもあのハードストーンは遣る瀬無くないとしたら「あの現代医療はしんどいしＧＳＥだ」ということは確かでない
事実11: 「あの現代医療は鬼子母神で東京生まれだ」ということは成り立つ
事実12: あのゴブラン織りは鬼子母神だ
事実13: もしあのハードストーンが寸止めでないし責任転嫁しないとしたらあの現代医療は責任転嫁する

仮説: あの現代医療は鬼子母神であるかあるいは寸止めである
1. 事実11から、推論1: "あの現代医療は鬼子母神である"が導かれる
2. 推論1から、仮説が導かれる

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