その袋状は規則正しい
fact1: 仮にこの重機関銃は短いけれど物狂おしいということはないとすれば「このＸ染色体は物狂おしい」ということは本当である fact2: その袋状は天才照れであるしまた看護ケアだ fact3: この話題選びは規則正しい fact4: もしもある物は物狂おしいとしたら「それは軽ーい」ということは確かである fact5: その分析計は規則正しい fact6: 曇り無しものが知り合いらしいならばそれは短くない fact7: そのパスワードは追い捲るし加えて色っぽい fact8: その袋状が看護ケアだしその上規則正しい fact9: その袋状は掴み直すしさらに程良い fact10: その袋状は契約更新である fact11: 「その袋状はエイブ・ダンフォースだけれどＬＥＴであるということはない」ということは成り立たないならば知り合いらしい fact12: その袋状は曇り無し fact13: もしその袋状は短くないとすれば「「あの仕立て屋は薄ら寒くないかもしくは物狂おしいかまたは両方ともだ」ということは事実である」ということは間違いだ fact14: 軽ーくないものは看護ケアであるししかも規則正しい fact15: あの日本海側は規則正しい fact16: その袋状は看護ケアだ fact17: もしも「ある物は薄ら寒くないかまたは物狂おしいかもしくは両方だ」ということは成り立たないならばそれは軽ーくない fact18: 薄ら寒い物は短い一方で物狂おしくない
fact8 -> hypothesis;
fact8 -> hypothesis;
その袋状は規則正しくない
fact21 -> int1: もしもこのＸ染色体が物狂おしいならばそれは軽ーい; fact20 -> int2: もしも「この重機関銃は薄ら寒い」ということは事実だとすると短いし物狂おしくない;
$facts$ = fact1: 仮にこの重機関銃は短いけれど物狂おしいということはないとすれば「このＸ染色体は物狂おしい」ということは本当である fact2: その袋状は天才照れであるしまた看護ケアだ fact3: この話題選びは規則正しい fact4: もしもある物は物狂おしいとしたら「それは軽ーい」ということは確かである fact5: その分析計は規則正しい fact6: 曇り無しものが知り合いらしいならばそれは短くない fact7: そのパスワードは追い捲るし加えて色っぽい fact8: その袋状が看護ケアだしその上規則正しい fact9: その袋状は掴み直すしさらに程良い fact10: その袋状は契約更新である fact11: 「その袋状はエイブ・ダンフォースだけれどＬＥＴであるということはない」ということは成り立たないならば知り合いらしい fact12: その袋状は曇り無し fact13: もしその袋状は短くないとすれば「「あの仕立て屋は薄ら寒くないかもしくは物狂おしいかまたは両方ともだ」ということは事実である」ということは間違いだ fact14: 軽ーくないものは看護ケアであるししかも規則正しい fact15: あの日本海側は規則正しい fact16: その袋状は看護ケアだ fact17: もしも「ある物は薄ら寒くないかまたは物狂おしいかもしくは両方だ」ということは成り立たないならばそれは軽ーくない fact18: 薄ら寒い物は短い一方で物狂おしくない ; $hypothesis$ = その袋状は規則正しい ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 仮にこの重機関銃は短いけれど物狂おしいということはないとすれば「このＸ染色体は物狂おしい」ということは本当である
事実2: その袋状は天才照れであるしまた看護ケアだ
事実3: この話題選びは規則正しい
事実4: もしもある物は物狂おしいとしたら「それは軽ーい」ということは確かである
事実5: その分析計は規則正しい
事実6: 曇り無しものが知り合いらしいならばそれは短くない
事実7: そのパスワードは追い捲るし加えて色っぽい
事実8: その袋状が看護ケアだしその上規則正しい
事実9: その袋状は掴み直すしさらに程良い
事実10: その袋状は契約更新である
事実11: 「その袋状はエイブ・ダンフォースだけれどＬＥＴであるということはない」ということは成り立たないならば知り合いらしい
事実12: その袋状は曇り無し
事実13: もしその袋状は短くないとすれば「「あの仕立て屋は薄ら寒くないかもしくは物狂おしいかまたは両方ともだ」ということは事実である」ということは間違いだ
事実14: 軽ーくないものは看護ケアであるししかも規則正しい
事実15: あの日本海側は規則正しい
事実16: その袋状は看護ケアだ
事実17: もしも「ある物は薄ら寒くないかまたは物狂おしいかもしくは両方だ」ということは成り立たないならばそれは軽ーくない
事実18: 薄ら寒い物は短い一方で物狂おしくない

仮説: その袋状は規則正しい
1. 事実8から、仮説が導かれる

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