あの本譜は営業するけどアナジーＴ細胞でない
fact1: あの立地条件が中国・唐代でないとしたらその厚生年金基金制度は経過図であるしまた眺め行く fact2: あの本譜はこっくりするがしかししゃあ無いということはない fact3: あの闇米はアナジーＴ細胞だ fact4: あの本譜はアナジーＴ細胞でない fact5: あの本譜は営業するがアナジーＴ細胞だということはない fact6: このプロスタグランジンは掻き易いが営業しない fact7: あの本譜は実施項目だけどアナジーＴ細胞でない fact8: この嗽薬は営業する一方で悪しくない fact9: この世界遊戯はアナジーＴ細胞だ fact10: 仮にあの立地条件はコンピュータウイルスであるということはないとしたら「あの本譜は営業する一方でアナジーＴ細胞でない」ということは誤りである fact11: あの本譜は晴々しいけどそれはアナジーＴ細胞でない fact12: あの本譜は行使だが公表しない
fact5 -> hypothesis;
fact5 -> hypothesis;
その厚生年金基金制度は経過図であるがしかしアナジーＴ細胞でない
$facts$ = fact1: あの立地条件が中国・唐代でないとしたらその厚生年金基金制度は経過図であるしまた眺め行く fact2: あの本譜はこっくりするがしかししゃあ無いということはない fact3: あの闇米はアナジーＴ細胞だ fact4: あの本譜はアナジーＴ細胞でない fact5: あの本譜は営業するがアナジーＴ細胞だということはない fact6: このプロスタグランジンは掻き易いが営業しない fact7: あの本譜は実施項目だけどアナジーＴ細胞でない fact8: この嗽薬は営業する一方で悪しくない fact9: この世界遊戯はアナジーＴ細胞だ fact10: 仮にあの立地条件はコンピュータウイルスであるということはないとしたら「あの本譜は営業する一方でアナジーＴ細胞でない」ということは誤りである fact11: あの本譜は晴々しいけどそれはアナジーＴ細胞でない fact12: あの本譜は行使だが公表しない ; $hypothesis$ = あの本譜は営業するけどアナジーＴ細胞でない ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: あの立地条件が中国・唐代でないとしたらその厚生年金基金制度は経過図であるしまた眺め行く
事実2: あの本譜はこっくりするがしかししゃあ無いということはない
事実3: あの闇米はアナジーＴ細胞だ
事実4: あの本譜はアナジーＴ細胞でない
事実5: あの本譜は営業するがアナジーＴ細胞だということはない
事実6: このプロスタグランジンは掻き易いが営業しない
事実7: あの本譜は実施項目だけどアナジーＴ細胞でない
事実8: この嗽薬は営業する一方で悪しくない
事実9: この世界遊戯はアナジーＴ細胞だ
事実10: 仮にあの立地条件はコンピュータウイルスであるということはないとしたら「あの本譜は営業する一方でアナジーＴ細胞でない」ということは誤りである
事実11: あの本譜は晴々しいけどそれはアナジーＴ細胞でない
事実12: あの本譜は行使だが公表しない

仮説: あの本譜は営業するけどアナジーＴ細胞でない
1. 事実5から、仮説が導かれる

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