「この薬物学はレシーバーである」ということは成り立つ
fact1: 「あの洛書は角膜混濁でないがしかしめんどい」ということは誤っている fact2: もしもこの種全体がペチュニアであるならばこの薬物学はスカウトしないしペチュニアでない fact3: もし「この薬物学はスカウトしないしペチュニアでない」ということは成り立つとすればレシーバーである fact4: もしなんらかのものは片微分しないならば「特掲するし更にそれは心中しない」ということは間違いである fact5: 人懐っこいものは進め易くないが忍び難い fact6: もしも「あの洛書は角膜混濁でないけれどめんどい」ということは間違いであるとすればこの種全体はペチュニアだ fact7: 仮に何かは寝泊まりするとしたらそれはペチュニアだ一方で列挙しない fact8: 「「あの特定目的信託はめんどくないけれどそれは選ぶ」ということは事実と異なる」ということは確かだ fact9: もしあの艦体は三分一カップでないとすると「この種全体は人懐っこい」ということは確かだ fact10: 「あの洛書はスカウトしない一方でそれはめんどい」ということは誤っている fact11: この種全体は伸ばし始める fact12: もし「なにがしかの物は古代人でないしその上木炭生産でない」ということは成り立たないとすればそれは片微分しない fact13: もしあの洛書がペチュニアだけれど列挙しないとしたらこの薬物学はペチュニアである fact14: 仮に「あの洛書は角膜混濁である」ということは成り立つならこの種全体はペチュニアだ fact15: 仮に何かはペチュニアであるとしたらスカウトするし更にそれはレシーバーであるということはない fact16: 「もしもあの洛書は忍び難いとすれば「あの洛書は古代人だということはなくて木炭生産でない」ということは成り立たない」ということは事実である fact17: この薬物学はペチュニアでない fact18: あの糸状は零れないしその上乾き易いない fact19: この種全体が進め易くないけど忍び難いとするとあの洛書は忍び難い fact20: もしも「なにがしかのものは特掲するが心中するということはない」ということは偽だとしたら「寝泊まりする」ということは事実だ fact21: 「「この薬物学はレシーバーでないがそれはめんどい」ということは成り立つということはない」ということは成り立つ fact22: 仮に「この女主人は私するということはないがしかし共鳴し合う」ということは間違っているとするとあの艦体は三分一カップでない
fact6 & fact1 -> int1: この種全体はペチュニアである; int1 & fact2 -> int2: この薬物学はスカウトするということはなくてペチュニアでない; int2 & fact3 -> hypothesis;
この薬物学はレシーバーでない
fact23 -> int3: この薬物学がペチュニアならばそれはスカウトするけれどレシーバーでない; fact30 -> int4: もしもあの洛書が寝泊まりするとすればペチュニアで列挙しない; fact32 -> int5: もし「あの洛書は特掲する一方でそれは心中しない」ということは嘘であるとするとそれは寝泊まりする; fact31 -> int6: もしもあの洛書は片微分しないとすると「それは特掲するがしかし心中しない」ということは成り立たない; fact33 -> int7: 「あの洛書は古代人でないしまた木炭生産でない」ということは誤りだとすると片微分しない; fact29 -> int8: 仮にこの種全体が人懐っこいとするとそれは進め易くないしかつそれは忍び難い;
$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$ = 
fact6 & fact1 -> int1: この種全体はペチュニアである; int1 & fact2 -> int2: この薬物学はスカウトするということはなくてペチュニアでない; int2 & fact3 -> 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. 事実6と事実1から、推論1: "この種全体はペチュニアである"が導かれる
2. 推論1と事実2から、推論2: "この薬物学はスカウトするということはなくてペチュニアでない"が導かれる
3. 推論2と事実3から、仮説が導かれる

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