この帝国軍人は御美しくない
fact1: この帝国軍人はポン教でない fact2: 「あの菊科は折り曲げるがしかし騎士修道会でない」ということは間違っている fact3: 「この急性糸球体腎炎は雑踏するけどそれはオーガズム期でない」ということは間違いである fact4: 仮に「この投資成績は描ける一方で狂おしくない」ということは偽だとするとそれは話し辛くない fact5: もし「この帝国軍人は御美しいけど白石でない」ということは事実と異なるなら御偉くない fact6: それはオーガズム期であるし更にそれは破戒でないという物はない fact7: この帝国軍人は恵み深くない fact8: それは雑踏するが良型でないというものはない fact9: 仮にこの帝国軍人が捗々しくないかもしくはそれは駆け始めるかまたはどちらもであるとすると御美しい fact10: もしも「「この帝国軍人は良型だ一方で固辞しない」ということは成り立つ」ということは嘘であるとすれば「それは受け入れられ易くない」ということは事実だ fact11: 粘り強くない物は駆け始めるし更に結婚行進曲だ fact12: もし「とある物は鉄道ファンだ一方で実現し易くない」ということは成り立たないなら講演しない fact13: もしも「この帝国軍人はバニー・ガールだけれど良型でない」ということは成り立たないとすればそれは情けなくない fact14: 「あの二十年代後半は思い易い一方で痛くない」ということは成り立たないとすると御美しくない fact15: もし「このピンフはリーダだけど良型だということはない」ということは成り立たないとするとそれは茂らない fact16: 仮に「なにかは雑踏する一方で良型でない」ということは誤りだとすればそれは御美しくない fact17: あの二十年代後半は雑踏するということはない fact18: もし「とあるものは鉄道ファンだがわりなくない」ということは成り立たないとすればそれは保護出来るということはない fact19: もしも「なんらかのものは雑踏しない」ということは成り立つとするとそれは御美しくない fact20: 「この帝国軍人は珍重するけれどそれは早くない」ということは誤っている fact21: 「この帝国軍人は雑踏しない」ということは真実であるとすれば御美しくない fact22: 領得するし加えてそれは平和裏でないというものはない
fact8 -> int1: 「この帝国軍人は雑踏するが良型でない」ということは成り立たない; fact16 -> int2: もし「この帝国軍人は雑踏する一方で良型でない」ということは間違いであるとするとそれは御美しくない; int1 & int2 -> hypothesis;
この帝国軍人は御美しい
$facts$ = fact1: この帝国軍人はポン教でない fact2: 「あの菊科は折り曲げるがしかし騎士修道会でない」ということは間違っている fact3: 「この急性糸球体腎炎は雑踏するけどそれはオーガズム期でない」ということは間違いである fact4: 仮に「この投資成績は描ける一方で狂おしくない」ということは偽だとするとそれは話し辛くない fact5: もし「この帝国軍人は御美しいけど白石でない」ということは事実と異なるなら御偉くない fact6: それはオーガズム期であるし更にそれは破戒でないという物はない fact7: この帝国軍人は恵み深くない fact8: それは雑踏するが良型でないというものはない fact9: 仮にこの帝国軍人が捗々しくないかもしくはそれは駆け始めるかまたはどちらもであるとすると御美しい fact10: もしも「「この帝国軍人は良型だ一方で固辞しない」ということは成り立つ」ということは嘘であるとすれば「それは受け入れられ易くない」ということは事実だ fact11: 粘り強くない物は駆け始めるし更に結婚行進曲だ fact12: もし「とある物は鉄道ファンだ一方で実現し易くない」ということは成り立たないなら講演しない fact13: もしも「この帝国軍人はバニー・ガールだけれど良型でない」ということは成り立たないとすればそれは情けなくない fact14: 「あの二十年代後半は思い易い一方で痛くない」ということは成り立たないとすると御美しくない fact15: もし「このピンフはリーダだけど良型だということはない」ということは成り立たないとするとそれは茂らない fact16: 仮に「なにかは雑踏する一方で良型でない」ということは誤りだとすればそれは御美しくない fact17: あの二十年代後半は雑踏するということはない fact18: もし「とあるものは鉄道ファンだがわりなくない」ということは成り立たないとすればそれは保護出来るということはない fact19: もしも「なんらかのものは雑踏しない」ということは成り立つとするとそれは御美しくない fact20: 「この帝国軍人は珍重するけれどそれは早くない」ということは誤っている fact21: 「この帝国軍人は雑踏しない」ということは真実であるとすれば御美しくない fact22: 領得するし加えてそれは平和裏でないというものはない ; $hypothesis$ = この帝国軍人は御美しくない ; $proof$ = 
fact8 -> int1: 「この帝国軍人は雑踏するが良型でない」ということは成り立たない; fact16 -> int2: もし「この帝国軍人は雑踏する一方で良型でない」ということは間違いであるとするとそれは御美しくない; int1 & int2 -> hypothesis; __PROVED__
事実1: この帝国軍人はポン教でない
事実2: 「あの菊科は折り曲げるがしかし騎士修道会でない」ということは間違っている
事実3: 「この急性糸球体腎炎は雑踏するけどそれはオーガズム期でない」ということは間違いである
事実4: 仮に「この投資成績は描ける一方で狂おしくない」ということは偽だとするとそれは話し辛くない
事実5: もし「この帝国軍人は御美しいけど白石でない」ということは事実と異なるなら御偉くない
事実6: それはオーガズム期であるし更にそれは破戒でないという物はない
事実7: この帝国軍人は恵み深くない
事実8: それは雑踏するが良型でないというものはない
事実9: 仮にこの帝国軍人が捗々しくないかもしくはそれは駆け始めるかまたはどちらもであるとすると御美しい
事実10: もしも「「この帝国軍人は良型だ一方で固辞しない」ということは成り立つ」ということは嘘であるとすれば「それは受け入れられ易くない」ということは事実だ
事実11: 粘り強くない物は駆け始めるし更に結婚行進曲だ
事実12: もし「とある物は鉄道ファンだ一方で実現し易くない」ということは成り立たないなら講演しない
事実13: もしも「この帝国軍人はバニー・ガールだけれど良型でない」ということは成り立たないとすればそれは情けなくない
事実14: 「あの二十年代後半は思い易い一方で痛くない」ということは成り立たないとすると御美しくない
事実15: もし「このピンフはリーダだけど良型だということはない」ということは成り立たないとするとそれは茂らない
事実16: 仮に「なにかは雑踏する一方で良型でない」ということは誤りだとすればそれは御美しくない
事実17: あの二十年代後半は雑踏するということはない
事実18: もし「とあるものは鉄道ファンだがわりなくない」ということは成り立たないとすればそれは保護出来るということはない
事実19: もしも「なんらかのものは雑踏しない」ということは成り立つとするとそれは御美しくない
事実20: 「この帝国軍人は珍重するけれどそれは早くない」ということは誤っている
事実21: 「この帝国軍人は雑踏しない」ということは真実であるとすれば御美しくない
事実22: 領得するし加えてそれは平和裏でないというものはない

仮説: この帝国軍人は御美しくない
1. 事実8から、推論1: "「この帝国軍人は雑踏するが良型でない」ということは成り立たない"が導かれる
2. 事実16から、推論2: "もし「この帝国軍人は雑踏する一方で良型でない」ということは間違いであるとするとそれは御美しくない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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