あの武術家は晒せる
fact1: この引っ張りが赤みがかるとすれば類上皮細胞である fact2: もし「何らかの物は任命するかもしくは御早い」ということは嘘であるならば晒せない fact3: もし仮に「ある物はやくざっぽいかあるいはそれは侍らない」ということは誤っているとすれば「任命しない」ということは誤りでない fact4: 「あの最高ランクは侍らない」ということは成り立つなら「あの武術家は任命するか御早いかあるいは両方ともだ」ということは成り立たない fact5: もしなにがしかのものが任命しないならばそれは晒せるし御早い fact6: あの武術家は生産・労働協同組合だ fact7: もしなにがしかの物は類上皮細胞であるとしたら「やくざっぽいかそれは侍らない」ということは成り立つということはない fact8: その世襲表は晒せる fact9: あの前席は晒せる fact10: もし仮になんらかのものが類上皮細胞でないけれどやくざっぽいとすればそれは侍るということはない fact11: あの確定判決は晒せる fact12: あの武術家は晒せる
fact12 -> hypothesis;
fact12 -> hypothesis;
「あの武術家は晒せない」ということは事実だ
fact13 -> int1: もし仮に「あの武術家は任命するかもしくは御早い」ということは成り立たないとすれば晒せない; fact14 -> int2: 仮にあの最高ランクは類上皮細胞でないがやくざっぽいなら侍らない;
$facts$ = fact1: この引っ張りが赤みがかるとすれば類上皮細胞である fact2: もし「何らかの物は任命するかもしくは御早い」ということは嘘であるならば晒せない fact3: もし仮に「ある物はやくざっぽいかあるいはそれは侍らない」ということは誤っているとすれば「任命しない」ということは誤りでない fact4: 「あの最高ランクは侍らない」ということは成り立つなら「あの武術家は任命するか御早いかあるいは両方ともだ」ということは成り立たない fact5: もしなにがしかのものが任命しないならばそれは晒せるし御早い fact6: あの武術家は生産・労働協同組合だ fact7: もしなにがしかの物は類上皮細胞であるとしたら「やくざっぽいかそれは侍らない」ということは成り立つということはない fact8: その世襲表は晒せる fact9: あの前席は晒せる fact10: もし仮になんらかのものが類上皮細胞でないけれどやくざっぽいとすればそれは侍るということはない fact11: あの確定判決は晒せる fact12: あの武術家は晒せる ; $hypothesis$ = あの武術家は晒せる ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: この引っ張りが赤みがかるとすれば類上皮細胞である
事実2: もし「何らかの物は任命するかもしくは御早い」ということは嘘であるならば晒せない
事実3: もし仮に「ある物はやくざっぽいかあるいはそれは侍らない」ということは誤っているとすれば「任命しない」ということは誤りでない
事実4: 「あの最高ランクは侍らない」ということは成り立つなら「あの武術家は任命するか御早いかあるいは両方ともだ」ということは成り立たない
事実5: もしなにがしかのものが任命しないならばそれは晒せるし御早い
事実6: あの武術家は生産・労働協同組合だ
事実7: もしなにがしかの物は類上皮細胞であるとしたら「やくざっぽいかそれは侍らない」ということは成り立つということはない
事実8: その世襲表は晒せる
事実9: あの前席は晒せる
事実10: もし仮になんらかのものが類上皮細胞でないけれどやくざっぽいとすればそれは侍るということはない
事実11: あの確定判決は晒せる
事実12: あの武術家は晒せる

仮説: あの武術家は晒せる
1. 事実12から、仮説が導かれる

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