この行動呈示は向かわすかまたは推奨するかあるいはどちらもだ
fact1: 判別し易い物は向かわす fact2: その臆面は見易くて加えてむくつけし fact3: 仮にこの口座番号が自律であるとしたらあの幸せは判別し易い fact4: 「大型打線である」物はある fact5: 仮にある物が推奨するとしたらそれは向かわす fact6: もしも大型打線が海外輸出であるとすればあの行動呈示は判別し易い fact7: 「とある物は判別し易い」ということは成り立てば「この聞き耳は正しくない一方で海外輸出だ」ということは誤っている fact8: もしその臆面がむくつけしとしたらこの口座番号はむくつけし fact9: なにかは大型打線でないとすれば「向かわすかまたは推奨するかまたはどちらもである」ということは間違いである fact10: もし「この平城京は根気強い」ということは事実であるならばボーンキットである fact11: 「大型打線だしさらに海外輸出な」物はある fact12: もしもこの行動呈示が止む無しとすればそれは判別し易い fact13: 「もし仮にこの口座番号が格好良くないならこの口座番号は赤ワインだしそれに自律だ」ということは事実だ fact14: もし仮にこの岡神社が海外輸出でないならこの行動呈示は大型打線でない fact15: もしも何らかのものがむくつけしならそれは格好良くない fact16: 「海外輸出な」ものはある
fact11 & fact6 -> int1: この行動呈示は判別し易い; fact1 -> int2: もしもこの行動呈示が判別し易いとするとそれは向かわす; int1 & int2 -> int3: この行動呈示は向かわす; int3 -> hypothesis;
「この行動呈示は向かわすかもしくは推奨する」ということは成り立たない
fact17 -> int4: 仮に「この行動呈示は大型打線でない」ということは成り立つとしたら「向かわすかあるいは推奨するかもしくは両方だ」ということは偽だ; fact24 -> int5: もしもこの口座番号がむくつけしならば格好良くない; fact22 -> int6: 「その臆面はむくつけしない」ということは真実でない; fact21 & int6 -> int7: この口座番号はむくつけし; int5 & int7 -> int8: この口座番号は格好良くない; fact20 & int8 -> int9: この口座番号は赤ワインであるしその上自律である; int9 -> int10: この口座番号は自律である; fact19 & int10 -> int11: あの幸せは判別し易い; int11 -> int12: 判別し易い物はある; int12 & fact23 -> int13: 「この聞き耳は正しくないが海外輸出である」ということは誤っている; int13 -> int14: 「「正しくないけれど海外輸出である」ということは成り立たない」物はある;
$facts$ = fact1: 判別し易い物は向かわす fact2: その臆面は見易くて加えてむくつけし fact3: 仮にこの口座番号が自律であるとしたらあの幸せは判別し易い fact4: 「大型打線である」物はある fact5: 仮にある物が推奨するとしたらそれは向かわす fact6: もしも大型打線が海外輸出であるとすればあの行動呈示は判別し易い fact7: 「とある物は判別し易い」ということは成り立てば「この聞き耳は正しくない一方で海外輸出だ」ということは誤っている fact8: もしその臆面がむくつけしとしたらこの口座番号はむくつけし fact9: なにかは大型打線でないとすれば「向かわすかまたは推奨するかまたはどちらもである」ということは間違いである fact10: もし「この平城京は根気強い」ということは事実であるならばボーンキットである fact11: 「大型打線だしさらに海外輸出な」物はある fact12: もしもこの行動呈示が止む無しとすればそれは判別し易い fact13: 「もし仮にこの口座番号が格好良くないならこの口座番号は赤ワインだしそれに自律だ」ということは事実だ fact14: もし仮にこの岡神社が海外輸出でないならこの行動呈示は大型打線でない fact15: もしも何らかのものがむくつけしならそれは格好良くない fact16: 「海外輸出な」ものはある ; $hypothesis$ = この行動呈示は向かわすかまたは推奨するかあるいはどちらもだ ; $proof$ = 
fact11 & fact6 -> int1: この行動呈示は判別し易い; fact1 -> int2: もしもこの行動呈示が判別し易いとするとそれは向かわす; int1 & int2 -> int3: この行動呈示は向かわす; int3 -> hypothesis; __PROVED__
事実1: 判別し易い物は向かわす
事実2: その臆面は見易くて加えてむくつけし
事実3: 仮にこの口座番号が自律であるとしたらあの幸せは判別し易い
事実4: 「大型打線である」物はある
事実5: 仮にある物が推奨するとしたらそれは向かわす
事実6: もしも大型打線が海外輸出であるとすればあの行動呈示は判別し易い
事実7: 「とある物は判別し易い」ということは成り立てば「この聞き耳は正しくない一方で海外輸出だ」ということは誤っている
事実8: もしその臆面がむくつけしとしたらこの口座番号はむくつけし
事実9: なにかは大型打線でないとすれば「向かわすかまたは推奨するかまたはどちらもである」ということは間違いである
事実10: もし「この平城京は根気強い」ということは事実であるならばボーンキットである
事実11: 「大型打線だしさらに海外輸出な」物はある
事実12: もしもこの行動呈示が止む無しとすればそれは判別し易い
事実13: 「もし仮にこの口座番号が格好良くないならこの口座番号は赤ワインだしそれに自律だ」ということは事実だ
事実14: もし仮にこの岡神社が海外輸出でないならこの行動呈示は大型打線でない
事実15: もしも何らかのものがむくつけしならそれは格好良くない
事実16: 「海外輸出な」ものはある

仮説: この行動呈示は向かわすかまたは推奨するかあるいはどちらもだ
1. 事実11と事実6から、推論1: "この行動呈示は判別し易い"が導かれる
2. 事実1から、推論2: "もしもこの行動呈示が判別し易いとするとそれは向かわす"が導かれる
3. 推論1と推論2から、推論3: "この行動呈示は向かわす"が導かれる
4. 推論3から、仮説が導かれる

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