あの相撲界は悔しがる
fact1: この韓愈が照らせないとすればこの当期未処分利益は青黒いがしかし幼いということはない fact2: もしなにかは大化けしないがそれが三泊するとするとメッセージダイジェスト番号でない fact3: あの相撲界はメッセージダイジェスト番号でない fact4: もし仮になにがしかの物が出し始めるとすればそれは騒々しい fact5: もし仮に「あるものは大化けしないしまたそれはメッセージダイジェスト番号でない」ということは成り立たないならば「大化けする」ということは確かだ fact6: もし「あの技能者はオープンソースであるかあるいは大化けしない」ということは成り立つということはないならばあのＮＩツービーは三泊しない fact7: もしも「あの相撲界は出し始める」ということは正しいならあのＮＩツービーは出し始める fact8: この韓愈は照らせない fact9: もしこの口絵写真が三泊するということはなくてまたそれが冬らしいということはないとすればあの入札件数は冬らしい fact10: もしあの相撲界が女子医大でないとしたらあのＮＩツービーは出し始める fact11: あの技能者が形容し難いしその上それは横峰寺だ fact12: 仮にあのＮＩツービーが騒々しいとすればあの技能者は悔しがるがオープンソースでない fact13: もし「何かは罵り続けるがしかし今渡ルールでない」ということは誤りならば修整しない fact14: 何かはオープンソースでない fact15: 仮に「メッセージダイジェスト番号であるかあるいは冬らしいかまたは両方な」ものがあるとしたらこの口絵写真は大化けしない fact16: もしも「「この入札件数はオープンソースであるかまたは三泊しないかあるいは両方ともだ」ということは本当である」ということは間違いだとするとあのＮＩツービーは冬らしくない fact17: この口絵写真は大化けしないなら「あの技能者はオープンソースであるかまたはそれは大化けしない」ということは偽である fact18: 仮に「今渡ルールな」物はあるなら「あの相撲界は罵り続けるが今渡ルールでない」ということは成り立たない fact19: この入札件数はメッセージダイジェスト番号だ fact20: 幼くないものは今渡ルールで勘定奉行である fact21: もしもこの入札件数は冬らしいなら「「その債券間は大化けしなくてかつメッセージダイジェスト番号でない」ということは嘘だ」ということは成り立つ fact22: もしもなんらかのものが修整するということはないとすれば出し始めるかまたは女子医大でないか両方ともだ fact23: 仮にこの入札件数が悔しがるけれど冬らしくないならあの相撲界は悔しがらない fact24: もしも「三泊しない」ものがあるならばあの相撲界は騒々しくて悔しがる
fact19 -> int1: この入札件数はメッセージダイジェスト番号であるかあるいは冬らしいかまたはどちらもである; int1 -> int2: とあるものはメッセージダイジェスト番号であるかまたはそれは冬らしい; int2 & fact15 -> int3: この口絵写真は大化けしない; int3 & fact17 -> int4: 「あの技能者はオープンソースであるか大化けしないかまたはどちらもだ」ということは成り立たない; int4 & fact6 -> int5: あのＮＩツービーは三泊しない; int5 -> int6: 「三泊しない」物はある; int6 & fact24 -> int7: あの相撲界は騒々しくて悔しがる; int7 -> hypothesis;
その債券間は大化けする
fact25 -> int8: 「その債券間は大化けしなくてそれにそれはメッセージダイジェスト番号でない」ということは誤っているとしたらそれは大化けする; fact35 -> int9: もしもあのＮＩツービーが出し始めるとするとそれは騒々しい; fact28 -> int10: あの相撲界が修整しないとしたら出し始めるかまたはそれは女子医大でない; fact31 -> int11: もし仮に「あの相撲界は罵り続ける一方でそれは今渡ルールでない」ということは嘘であるとすれば「修整するということはない」ということは確かである; fact29 -> int12: もしもこの当期未処分利益が幼くないならば今渡ルールだし勘定奉行である; fact32 & fact26 -> int13: この当期未処分利益は青黒いが幼くない; int13 -> int14: この当期未処分利益は幼くない; int12 & int14 -> int15: この当期未処分利益は今渡ルールで更に勘定奉行だ; int15 -> int16: この当期未処分利益は今渡ルールだ; int16 -> int17: 「今渡ルールである」物はある; int17 & fact34 -> int18: 「あの相撲界は罵り続けるがしかし今渡ルールだということはない」ということは成り立たない; int11 & int18 -> int19: あの相撲界は修整するということはない; int10 & int19 -> int20: あの相撲界は出し始めるかもしくはそれは女子医大でないか両方ともである; int20 & fact36 & fact33 -> int21: 「あのＮＩツービーは出し始めない」ということは嘘である; int9 & int21 -> int22: あのＮＩツービーは騒々しい; fact37 & int22 -> int23: あの技能者は悔しがる一方でそれはオープンソースでない; int23 -> int24: あの技能者はオープンソースであるということはない;
$facts$ = fact1: この韓愈が照らせないとすればこの当期未処分利益は青黒いがしかし幼いということはない fact2: もしなにかは大化けしないがそれが三泊するとするとメッセージダイジェスト番号でない fact3: あの相撲界はメッセージダイジェスト番号でない fact4: もし仮になにがしかの物が出し始めるとすればそれは騒々しい fact5: もし仮に「あるものは大化けしないしまたそれはメッセージダイジェスト番号でない」ということは成り立たないならば「大化けする」ということは確かだ fact6: もし「あの技能者はオープンソースであるかあるいは大化けしない」ということは成り立つということはないならばあのＮＩツービーは三泊しない fact7: もしも「あの相撲界は出し始める」ということは正しいならあのＮＩツービーは出し始める fact8: この韓愈は照らせない fact9: もしこの口絵写真が三泊するということはなくてまたそれが冬らしいということはないとすればあの入札件数は冬らしい fact10: もしあの相撲界が女子医大でないとしたらあのＮＩツービーは出し始める fact11: あの技能者が形容し難いしその上それは横峰寺だ fact12: 仮にあのＮＩツービーが騒々しいとすればあの技能者は悔しがるがオープンソースでない fact13: もし「何かは罵り続けるがしかし今渡ルールでない」ということは誤りならば修整しない fact14: 何かはオープンソースでない fact15: 仮に「メッセージダイジェスト番号であるかあるいは冬らしいかまたは両方な」ものがあるとしたらこの口絵写真は大化けしない fact16: もしも「「この入札件数はオープンソースであるかまたは三泊しないかあるいは両方ともだ」ということは本当である」ということは間違いだとするとあのＮＩツービーは冬らしくない fact17: この口絵写真は大化けしないなら「あの技能者はオープンソースであるかまたはそれは大化けしない」ということは偽である fact18: 仮に「今渡ルールな」物はあるなら「あの相撲界は罵り続けるが今渡ルールでない」ということは成り立たない fact19: この入札件数はメッセージダイジェスト番号だ fact20: 幼くないものは今渡ルールで勘定奉行である fact21: もしもこの入札件数は冬らしいなら「「その債券間は大化けしなくてかつメッセージダイジェスト番号でない」ということは嘘だ」ということは成り立つ fact22: もしもなんらかのものが修整するということはないとすれば出し始めるかまたは女子医大でないか両方ともだ fact23: 仮にこの入札件数が悔しがるけれど冬らしくないならあの相撲界は悔しがらない fact24: もしも「三泊しない」ものがあるならばあの相撲界は騒々しくて悔しがる ; $hypothesis$ = あの相撲界は悔しがる ; $proof$ = 
fact19 -> int1: この入札件数はメッセージダイジェスト番号であるかあるいは冬らしいかまたはどちらもである; int1 -> int2: とあるものはメッセージダイジェスト番号であるかまたはそれは冬らしい; int2 & fact15 -> int3: この口絵写真は大化けしない; int3 & fact17 -> int4: 「あの技能者はオープンソースであるか大化けしないかまたはどちらもだ」ということは成り立たない; int4 & fact6 -> int5: あのＮＩツービーは三泊しない; int5 -> int6: 「三泊しない」物はある; int6 & fact24 -> int7: あの相撲界は騒々しくて悔しがる; int7 -> hypothesis; __PROVED__
事実1: この韓愈が照らせないとすればこの当期未処分利益は青黒いがしかし幼いということはない
事実2: もしなにかは大化けしないがそれが三泊するとするとメッセージダイジェスト番号でない
事実3: あの相撲界はメッセージダイジェスト番号でない
事実4: もし仮になにがしかの物が出し始めるとすればそれは騒々しい
事実5: もし仮に「あるものは大化けしないしまたそれはメッセージダイジェスト番号でない」ということは成り立たないならば「大化けする」ということは確かだ
事実6: もし「あの技能者はオープンソースであるかあるいは大化けしない」ということは成り立つということはないならばあのＮＩツービーは三泊しない
事実7: もしも「あの相撲界は出し始める」ということは正しいならあのＮＩツービーは出し始める
事実8: この韓愈は照らせない
事実9: もしこの口絵写真が三泊するということはなくてまたそれが冬らしいということはないとすればあの入札件数は冬らしい
事実10: もしあの相撲界が女子医大でないとしたらあのＮＩツービーは出し始める
事実11: あの技能者が形容し難いしその上それは横峰寺だ
事実12: 仮にあのＮＩツービーが騒々しいとすればあの技能者は悔しがるがオープンソースでない
事実13: もし「何かは罵り続けるがしかし今渡ルールでない」ということは誤りならば修整しない
事実14: 何かはオープンソースでない
事実15: 仮に「メッセージダイジェスト番号であるかあるいは冬らしいかまたは両方な」ものがあるとしたらこの口絵写真は大化けしない
事実16: もしも「「この入札件数はオープンソースであるかまたは三泊しないかあるいは両方ともだ」ということは本当である」ということは間違いだとするとあのＮＩツービーは冬らしくない
事実17: この口絵写真は大化けしないなら「あの技能者はオープンソースであるかまたはそれは大化けしない」ということは偽である
事実18: 仮に「今渡ルールな」物はあるなら「あの相撲界は罵り続けるが今渡ルールでない」ということは成り立たない
事実19: この入札件数はメッセージダイジェスト番号だ
事実20: 幼くないものは今渡ルールで勘定奉行である
事実21: もしもこの入札件数は冬らしいなら「「その債券間は大化けしなくてかつメッセージダイジェスト番号でない」ということは嘘だ」ということは成り立つ
事実22: もしもなんらかのものが修整するということはないとすれば出し始めるかまたは女子医大でないか両方ともだ
事実23: 仮にこの入札件数が悔しがるけれど冬らしくないならあの相撲界は悔しがらない
事実24: もしも「三泊しない」ものがあるならばあの相撲界は騒々しくて悔しがる

仮説: あの相撲界は悔しがる
1. 事実19から、推論1: "この入札件数はメッセージダイジェスト番号であるかあるいは冬らしいかまたはどちらもである"が導かれる
2. 推論1から、推論2: "とあるものはメッセージダイジェスト番号であるかまたはそれは冬らしい"が導かれる
3. 推論2と事実15から、推論3: "この口絵写真は大化けしない"が導かれる
4. 推論3と事実17から、推論4: "「あの技能者はオープンソースであるか大化けしないかまたはどちらもだ」ということは成り立たない"が導かれる
5. 推論4と事実6から、推論5: "あのＮＩツービーは三泊しない"が導かれる
6. 推論5から、推論6: "「三泊しない」物はある"が導かれる
7. 推論6と事実24から、推論7: "あの相撲界は騒々しくて悔しがる"が導かれる
8. 推論7から、仮説が導かれる

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