「「膿瘍形成だ」ということは確かだとしたら「しがないということはないかマートルでないかあるいはどちらもだ」ということは成り立つということはない」物はある
fact1: もし仮にその人体は膿瘍形成だとすると「しがなくないかもしくはマートルである」ということは成り立たない fact2: とある物は腹違いなら「それは生臭いということはないかあるいはしがないということはないかもしくは両方だ」ということは成り立たない fact3: 「「膿瘍形成であるとすると「しがないかまたはマートルでないかあるいはどちらもだ」ということは成り立たない」物はある」ということは事実である fact4: もしその人体は膿瘍形成であるならば「それはしがなくないかマートルでないかどちらもである」ということは間違っている fact5: 「もし仮に取り出し易いならば「トレーニングしないか懐っこいかあるいは両方だ」ということは成り立たない」ものはある
fact4 -> hypothesis;
fact4 -> hypothesis;
この保存期間は腹違いであるならば「生臭くないかもしくはしがなくないかまたは両方だ」ということは偽だ
fact6 -> hypothesis;
$facts$ = fact1: もし仮にその人体は膿瘍形成だとすると「しがなくないかもしくはマートルである」ということは成り立たない fact2: とある物は腹違いなら「それは生臭いということはないかあるいはしがないということはないかもしくは両方だ」ということは成り立たない fact3: 「「膿瘍形成であるとすると「しがないかまたはマートルでないかあるいはどちらもだ」ということは成り立たない」物はある」ということは事実である fact4: もしその人体は膿瘍形成であるならば「それはしがなくないかマートルでないかどちらもである」ということは間違っている fact5: 「もし仮に取り出し易いならば「トレーニングしないか懐っこいかあるいは両方だ」ということは成り立たない」ものはある ; $hypothesis$ = 「「膿瘍形成だ」ということは確かだとしたら「しがないということはないかマートルでないかあるいはどちらもだ」ということは成り立つということはない」物はある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もし仮にその人体は膿瘍形成だとすると「しがなくないかもしくはマートルである」ということは成り立たない
事実2: とある物は腹違いなら「それは生臭いということはないかあるいはしがないということはないかもしくは両方だ」ということは成り立たない
事実3: 「「膿瘍形成であるとすると「しがないかまたはマートルでないかあるいはどちらもだ」ということは成り立たない」物はある」ということは事実である
事実4: もしその人体は膿瘍形成であるならば「それはしがなくないかマートルでないかどちらもである」ということは間違っている
事実5: 「もし仮に取り出し易いならば「トレーニングしないか懐っこいかあるいは両方だ」ということは成り立たない」ものはある

仮説: 「「膿瘍形成だ」ということは確かだとしたら「しがないということはないかマートルでないかあるいはどちらもだ」ということは成り立つということはない」物はある
1. 事実4から、仮説が導かれる

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