この移民申請は行き来出来るし加えて症状自体である
fact1: そのゴム靴は如此しししかも謝罪である fact2: 「そのゴム靴は行き来出来る」ということは成り立つ fact3: もし「何らかのものは謝罪でないけど行き来出来る」ということは間違っているとしたら症状自体だ fact4: この移民申請は行き来出来る fact5: もし仮になにがしかのものは嫌味ったらしいとすると「それは謝罪でない一方で行き来出来る」ということは誤っている fact6: そのゴム靴は如此ししそれに家出する fact7: その晩生は行き来出来る fact8: 「そのゴム靴は如此し」ということは成り立つ fact9: もし仮にそのゴム靴が謝罪だとするとこの移民申請は症状自体だ
fact1 -> int1: そのゴム靴は謝罪である; int1 & fact9 -> int2: この移民申請は症状自体だ; int2 & fact4 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact9 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
この丸Ｂは症状自体でまた捕らえ難い
fact11 -> int3: もしも「この丸Ｂは謝罪でないけれどそれは行き来出来る」ということは嘘であるとしたら症状自体である; fact10 -> int4: 仮に「この丸Ｂは嫌味ったらしい」ということは成り立つとすると「それは謝罪でなくてそれにそれは行き来出来る」ということは間違っている;
$facts$ = fact1: そのゴム靴は如此しししかも謝罪である fact2: 「そのゴム靴は行き来出来る」ということは成り立つ fact3: もし「何らかのものは謝罪でないけど行き来出来る」ということは間違っているとしたら症状自体だ fact4: この移民申請は行き来出来る fact5: もし仮になにがしかのものは嫌味ったらしいとすると「それは謝罪でない一方で行き来出来る」ということは誤っている fact6: そのゴム靴は如此ししそれに家出する fact7: その晩生は行き来出来る fact8: 「そのゴム靴は如此し」ということは成り立つ fact9: もし仮にそのゴム靴が謝罪だとするとこの移民申請は症状自体だ ; $hypothesis$ = この移民申請は行き来出来るし加えて症状自体である ; $proof$ = 
fact1 -> int1: そのゴム靴は謝罪である; int1 & fact9 -> int2: この移民申請は症状自体だ; int2 & fact4 -> hypothesis; __PROVED__
事実1: そのゴム靴は如此しししかも謝罪である
事実2: 「そのゴム靴は行き来出来る」ということは成り立つ
事実3: もし「何らかのものは謝罪でないけど行き来出来る」ということは間違っているとしたら症状自体だ
事実4: この移民申請は行き来出来る
事実5: もし仮になにがしかのものは嫌味ったらしいとすると「それは謝罪でない一方で行き来出来る」ということは誤っている
事実6: そのゴム靴は如此ししそれに家出する
事実7: その晩生は行き来出来る
事実8: 「そのゴム靴は如此し」ということは成り立つ
事実9: もし仮にそのゴム靴が謝罪だとするとこの移民申請は症状自体だ

仮説: この移民申請は行き来出来るし加えて症状自体である
1. 事実1から、推論1: "そのゴム靴は謝罪である"が導かれる
2. 推論1と事実9から、推論2: "この移民申請は症状自体だ"が導かれる
3. 推論2と事実4から、仮説が導かれる

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