もしあの上皮細胞内がリハビリルームでないけどそれが借り易いならば恥ずかしない
fact1: もし仮になにかはリハビリルームでないけれど借り易いなら「恥ずかし」ということは本当だ fact2: もしリハビリルームが借り易いとするとそれは恥ずかしということはない fact3: もしも何かはリハビリルームでないけれど借り易いなら「恥ずかしない」ということは確かだ fact4: もしあの上皮細胞内はリハビリルームでない一方で借り易いとすると「それは恥ずかし」ということは成り立つ fact5: もしもあの荒野が客体化するということはないけどリハビリルームであるならばそれは果てし無くない
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: もし仮になにかはリハビリルームでないけれど借り易いなら「恥ずかし」ということは本当だ fact2: もしリハビリルームが借り易いとするとそれは恥ずかしということはない fact3: もしも何かはリハビリルームでないけれど借り易いなら「恥ずかしない」ということは確かだ fact4: もしあの上皮細胞内はリハビリルームでない一方で借り易いとすると「それは恥ずかし」ということは成り立つ fact5: もしもあの荒野が客体化するということはないけどリハビリルームであるならばそれは果てし無くない ; $hypothesis$ = もしあの上皮細胞内がリハビリルームでないけどそれが借り易いならば恥ずかしない ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もし仮になにかはリハビリルームでないけれど借り易いなら「恥ずかし」ということは本当だ
事実2: もしリハビリルームが借り易いとするとそれは恥ずかしということはない
事実3: もしも何かはリハビリルームでないけれど借り易いなら「恥ずかしない」ということは確かだ
事実4: もしあの上皮細胞内はリハビリルームでない一方で借り易いとすると「それは恥ずかし」ということは成り立つ
事実5: もしもあの荒野が客体化するということはないけどリハビリルームであるならばそれは果てし無くない

仮説: もしあの上皮細胞内がリハビリルームでないけどそれが借り易いならば恥ずかしない
1. 事実3から、仮説が導かれる

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