あの山塊は抜け易い
fact1: 仮に「ＭＲＮＡでない」物があるとするとこの弁護側は抜け易くてそれにそれはフリーライドする fact2: もしもあの草野球が分娩直後であるかまたはサーマイルでないかあるいは両方であるなら「それはフリーライドしない」ということは事実だ fact3: もし「「分娩直後でしかもＭＲＮＡである」ということは成り立たない」物があるとしたらあの山塊はＭＲＮＡでない fact4: あの山塊は抜け易い fact5: もしもあの草野球がフリーライドしないならこの要義問答は抜け易くないしＭＲＮＡでない fact6: 「仮に何かは疎ましかないなら上行するし更に正しい」ということは誤りでない
fact4 -> hypothesis;
fact4 -> hypothesis;
あの山塊は抜け易くない
fact9 -> int1: もし仮にあの戦記物が疎ましいということはないとすれば上行するし正しい;
$facts$ = fact1: 仮に「ＭＲＮＡでない」物があるとするとこの弁護側は抜け易くてそれにそれはフリーライドする fact2: もしもあの草野球が分娩直後であるかまたはサーマイルでないかあるいは両方であるなら「それはフリーライドしない」ということは事実だ fact3: もし「「分娩直後でしかもＭＲＮＡである」ということは成り立たない」物があるとしたらあの山塊はＭＲＮＡでない fact4: あの山塊は抜け易い fact5: もしもあの草野球がフリーライドしないならこの要義問答は抜け易くないしＭＲＮＡでない fact6: 「仮に何かは疎ましかないなら上行するし更に正しい」ということは誤りでない ; $hypothesis$ = あの山塊は抜け易い ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 仮に「ＭＲＮＡでない」物があるとするとこの弁護側は抜け易くてそれにそれはフリーライドする
事実2: もしもあの草野球が分娩直後であるかまたはサーマイルでないかあるいは両方であるなら「それはフリーライドしない」ということは事実だ
事実3: もし「「分娩直後でしかもＭＲＮＡである」ということは成り立たない」物があるとしたらあの山塊はＭＲＮＡでない
事実4: あの山塊は抜け易い
事実5: もしもあの草野球がフリーライドしないならこの要義問答は抜け易くないしＭＲＮＡでない
事実6: 「仮に何かは疎ましかないなら上行するし更に正しい」ということは誤りでない

仮説: あの山塊は抜け易い
1. 事実4から、仮説が導かれる

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