この異変無しは活動し易い
fact1: もしあの初誕生は白飛びならば「でかいということはない」ということは間違っている fact2: もし仮にこの異変無しがでかいならばあの初誕生は活動し易い fact3: あの初誕生は白飛びである fact4: この異変無しが活動し易いとすると白飛びだ fact5: なにがしかのものはイヤーであるとすれば「でかくないかまたは白飛びでないか両方である」ということは成り立つということはない fact6: あの初誕生は走行距離である fact7: その空間領域は活動し易い fact8: 仮にこの異変無しは白飛びであるとすればそれは活動し易い fact9: あの初誕生は活動し易い fact10: もし「「あの初誕生は活動し易いがしかしでかくない」ということは成り立つ」ということは事実と異なれば「この武道はでかい」ということは真実だ fact11: もし「あの初誕生は活動し易い」ということは事実であるとするとこの異変無しはでかい fact12: もし仮にあの初誕生が白飛びであるとするとこの異変無しはでかい fact13: もしもあの初誕生がでかいならこの異変無しは活動し易い fact14: この異変無しはでかい fact15: その別除権は活動し易い
fact1 & fact3 -> int1: あの初誕生はでかい; int1 & fact13 -> hypothesis;
fact1 & fact3 -> int1: {B}{a}; int1 & fact13 -> hypothesis;
この武道はでかい
$facts$ = fact1: もしあの初誕生は白飛びならば「でかいということはない」ということは間違っている fact2: もし仮にこの異変無しがでかいならばあの初誕生は活動し易い fact3: あの初誕生は白飛びである fact4: この異変無しが活動し易いとすると白飛びだ fact5: なにがしかのものはイヤーであるとすれば「でかくないかまたは白飛びでないか両方である」ということは成り立つということはない fact6: あの初誕生は走行距離である fact7: その空間領域は活動し易い fact8: 仮にこの異変無しは白飛びであるとすればそれは活動し易い fact9: あの初誕生は活動し易い fact10: もし「「あの初誕生は活動し易いがしかしでかくない」ということは成り立つ」ということは事実と異なれば「この武道はでかい」ということは真実だ fact11: もし「あの初誕生は活動し易い」ということは事実であるとするとこの異変無しはでかい fact12: もし仮にあの初誕生が白飛びであるとするとこの異変無しはでかい fact13: もしもあの初誕生がでかいならこの異変無しは活動し易い fact14: この異変無しはでかい fact15: その別除権は活動し易い ; $hypothesis$ = この異変無しは活動し易い ; $proof$ = 
fact1 & fact3 -> int1: あの初誕生はでかい; int1 & fact13 -> hypothesis; __PROVED__
事実1: もしあの初誕生は白飛びならば「でかいということはない」ということは間違っている
事実2: もし仮にこの異変無しがでかいならばあの初誕生は活動し易い
事実3: あの初誕生は白飛びである
事実4: この異変無しが活動し易いとすると白飛びだ
事実5: なにがしかのものはイヤーであるとすれば「でかくないかまたは白飛びでないか両方である」ということは成り立つということはない
事実6: あの初誕生は走行距離である
事実7: その空間領域は活動し易い
事実8: 仮にこの異変無しは白飛びであるとすればそれは活動し易い
事実9: あの初誕生は活動し易い
事実10: もし「「あの初誕生は活動し易いがしかしでかくない」ということは成り立つ」ということは事実と異なれば「この武道はでかい」ということは真実だ
事実11: もし「あの初誕生は活動し易い」ということは事実であるとするとこの異変無しはでかい
事実12: もし仮にあの初誕生が白飛びであるとするとこの異変無しはでかい
事実13: もしもあの初誕生がでかいならこの異変無しは活動し易い
事実14: この異変無しはでかい
事実15: その別除権は活動し易い

仮説: この異変無しは活動し易い
1. 事実1と事実3から、推論1: "あの初誕生はでかい"が導かれる
2. 推論1と事実13から、仮説が導かれる

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