あの分子種は野鼠だ
fact1: あの分子種は物凄いがしかし黒死病でない fact2: 仮に「なにがしかの物はギリシャ彫刻でまた野鼠だ」ということは成り立たないとしたら野鼠だということはない fact3: 仮にあの分子種が物凄いが引き立て合わないならば「野鼠である」ということは本当である fact4: もし仮にその胡瓜が芳しくないとしたらその外側は野鼠でないがしかしそれは狂奔する fact5: あの分子種は享受出来るがしかしアンコーでないとすれば野鼠である fact6: あの分子種は物凄い fact7: もし野鼠は礼服でないとしたら掛かり難い fact8: あの高速バスは物凄い fact9: あの分子種は各条件であるけど父母両系でない fact10: あの分子種は物凄いがしかし引き立て合わない fact11: もしこの音読みが技術集積だけど勝ち続けないとすると円錐柱である fact12: この腓返りは野鼠だけれど友達以外でない fact13: この不況は物凄い
fact3 & fact10 -> hypothesis;
fact3 & fact10 -> hypothesis;
「あの分子種は野鼠でない」ということは間違いでない
fact14 -> int1: もし「あの分子種はギリシャ彫刻であるしかつそれは野鼠だ」ということは偽だとしたらそれは野鼠でない;
$facts$ = fact1: あの分子種は物凄いがしかし黒死病でない fact2: 仮に「なにがしかの物はギリシャ彫刻でまた野鼠だ」ということは成り立たないとしたら野鼠だということはない fact3: 仮にあの分子種が物凄いが引き立て合わないならば「野鼠である」ということは本当である fact4: もし仮にその胡瓜が芳しくないとしたらその外側は野鼠でないがしかしそれは狂奔する fact5: あの分子種は享受出来るがしかしアンコーでないとすれば野鼠である fact6: あの分子種は物凄い fact7: もし野鼠は礼服でないとしたら掛かり難い fact8: あの高速バスは物凄い fact9: あの分子種は各条件であるけど父母両系でない fact10: あの分子種は物凄いがしかし引き立て合わない fact11: もしこの音読みが技術集積だけど勝ち続けないとすると円錐柱である fact12: この腓返りは野鼠だけれど友達以外でない fact13: この不況は物凄い ; $hypothesis$ = あの分子種は野鼠だ ; $proof$ = 
fact3 & fact10 -> hypothesis; __PROVED__
事実1: あの分子種は物凄いがしかし黒死病でない
事実2: 仮に「なにがしかの物はギリシャ彫刻でまた野鼠だ」ということは成り立たないとしたら野鼠だということはない
事実3: 仮にあの分子種が物凄いが引き立て合わないならば「野鼠である」ということは本当である
事実4: もし仮にその胡瓜が芳しくないとしたらその外側は野鼠でないがしかしそれは狂奔する
事実5: あの分子種は享受出来るがしかしアンコーでないとすれば野鼠である
事実6: あの分子種は物凄い
事実7: もし野鼠は礼服でないとしたら掛かり難い
事実8: あの高速バスは物凄い
事実9: あの分子種は各条件であるけど父母両系でない
事実10: あの分子種は物凄いがしかし引き立て合わない
事実11: もしこの音読みが技術集積だけど勝ち続けないとすると円錐柱である
事実12: この腓返りは野鼠だけれど友達以外でない
事実13: この不況は物凄い

仮説: あの分子種は野鼠だ
1. 事実3と事実10から、仮説が導かれる

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