「あの物界は繰り延べる」ということは真実である
fact1: もしも「この中核市は下忍であるということはない」ということは本当であるとすればそれは脆いということはない fact2: もしもなにがしかのものが可愛らしいとすれば夥しい fact3: 「もし仮にあの曾爺は義務教育制度であるとすれば「あの曾爺はどぎつい」ということは本当だ」ということは事実だ fact4: もし仮にあるものは夥しいとすると「それは繰り延べないしそれは瑞々しい」ということは成り立たない fact5: この中核市は可愛らしい fact6: あの物界はどぎつい fact7: もし仮にこの中核市は脆くないとすると「それは撃破しなくてその上捜査費でない」ということは間違っている fact8: あの物界は脆い fact9: 夥しい物が瑞々しいとしたらあの景観評価タイプはどぎつかない fact10: もしも「この中核市は撃破しないしそれは捜査費でない」ということは間違っているなら「それは宣伝びらでない」ということは事実である fact11: 仮になんらかのものは宣伝びらでないとするとそれは瑞々しくてＥ氏だ fact12: この中核市は下忍だということはない fact13: もしも「「なんらかの物は繰り延べるしどぎつい」ということは真実だ」ということは成り立つということはないとすればそれは繰り延べない fact14: もしあの物界はどぎついとしたら「それは繰り延べる」ということは成り立つ fact15: もしも「なにがしかの物は繰り延べない一方でそれは瑞々しい」ということは成り立たないならばどぎつい
fact14 & fact6 -> hypothesis;
fact14 & fact6 -> hypothesis;
あの物界は繰り延べない
fact19 -> int1: もし仮に「あの物界は繰り延べるしどぎつい」ということは成り立たないならそれは繰り延べない; fact18 -> int2: 仮にこの中核市が可愛らしいなら夥しい; int2 & fact22 -> int3: 「この中核市は夥しい」ということは事実だ; fact21 -> int4: もし仮に「この中核市は宣伝びらだということはない」ということは本当であるならばそれは瑞々しいししかもＥ氏である; fact17 & fact24 -> int5: この中核市は脆くない; fact20 & int5 -> int6: 「この中核市は撃破しないしさらに捜査費でない」ということは成り立たない; fact23 & int6 -> int7: この中核市は宣伝びらでない; int4 & int7 -> int8: この中核市は瑞々しくてかつＥ氏である; int8 -> int9: この中核市は瑞々しい; int3 & int9 -> int10: この中核市は夥しくて瑞々しい; int10 -> int11: 「夥しくてさらに瑞々しい」ものはある; int11 & fact16 -> int12: あの景観評価タイプはどぎついということはない; int12 -> int13: 何かはどぎつかない;
$facts$ = fact1: もしも「この中核市は下忍であるということはない」ということは本当であるとすればそれは脆いということはない fact2: もしもなにがしかのものが可愛らしいとすれば夥しい fact3: 「もし仮にあの曾爺は義務教育制度であるとすれば「あの曾爺はどぎつい」ということは本当だ」ということは事実だ fact4: もし仮にあるものは夥しいとすると「それは繰り延べないしそれは瑞々しい」ということは成り立たない fact5: この中核市は可愛らしい fact6: あの物界はどぎつい fact7: もし仮にこの中核市は脆くないとすると「それは撃破しなくてその上捜査費でない」ということは間違っている fact8: あの物界は脆い fact9: 夥しい物が瑞々しいとしたらあの景観評価タイプはどぎつかない fact10: もしも「この中核市は撃破しないしそれは捜査費でない」ということは間違っているなら「それは宣伝びらでない」ということは事実である fact11: 仮になんらかのものは宣伝びらでないとするとそれは瑞々しくてＥ氏だ fact12: この中核市は下忍だということはない fact13: もしも「「なんらかの物は繰り延べるしどぎつい」ということは真実だ」ということは成り立つということはないとすればそれは繰り延べない fact14: もしあの物界はどぎついとしたら「それは繰り延べる」ということは成り立つ fact15: もしも「なにがしかの物は繰り延べない一方でそれは瑞々しい」ということは成り立たないならばどぎつい ; $hypothesis$ = 「あの物界は繰り延べる」ということは真実である ; $proof$ = 
fact14 & fact6 -> hypothesis; __PROVED__
事実1: もしも「この中核市は下忍であるということはない」ということは本当であるとすればそれは脆いということはない
事実2: もしもなにがしかのものが可愛らしいとすれば夥しい
事実3: 「もし仮にあの曾爺は義務教育制度であるとすれば「あの曾爺はどぎつい」ということは本当だ」ということは事実だ
事実4: もし仮にあるものは夥しいとすると「それは繰り延べないしそれは瑞々しい」ということは成り立たない
事実5: この中核市は可愛らしい
事実6: あの物界はどぎつい
事実7: もし仮にこの中核市は脆くないとすると「それは撃破しなくてその上捜査費でない」ということは間違っている
事実8: あの物界は脆い
事実9: 夥しい物が瑞々しいとしたらあの景観評価タイプはどぎつかない
事実10: もしも「この中核市は撃破しないしそれは捜査費でない」ということは間違っているなら「それは宣伝びらでない」ということは事実である
事実11: 仮になんらかのものは宣伝びらでないとするとそれは瑞々しくてＥ氏だ
事実12: この中核市は下忍だということはない
事実13: もしも「「なんらかの物は繰り延べるしどぎつい」ということは真実だ」ということは成り立つということはないとすればそれは繰り延べない
事実14: もしあの物界はどぎついとしたら「それは繰り延べる」ということは成り立つ
事実15: もしも「なにがしかの物は繰り延べない一方でそれは瑞々しい」ということは成り立たないならばどぎつい

仮説: 「あの物界は繰り延べる」ということは真実である
1. 事実14と事実6から、仮説が導かれる

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