そのビニールはいがらっぽい
fact1: この金属部分はいがらっぽい fact2: その国民公会はいがらっぽい fact3: そのビニールは渾名である fact4: そのビニールは五十万円未満である fact5: そのビニールは金銭補償だ fact6: この悪運はいがらっぽい fact7: 仮に「「いがらっぽくて平均化する」ということは誤りな」物があればそのビニールはいがらっぽくない fact8: そのビニールは正倉院薬物だ fact9: そのビニールはいがらっぽい fact10: もし「その平中は模様編みでないが放ち始める」ということは間違いであるとすればあの頭字語は模様編みだ fact11: あの野生系統はいがらっぽい
fact9 -> hypothesis;
fact9 -> hypothesis;
そのビニールはいがらっぽいということはない
$facts$ = fact1: この金属部分はいがらっぽい fact2: その国民公会はいがらっぽい fact3: そのビニールは渾名である fact4: そのビニールは五十万円未満である fact5: そのビニールは金銭補償だ fact6: この悪運はいがらっぽい fact7: 仮に「「いがらっぽくて平均化する」ということは誤りな」物があればそのビニールはいがらっぽくない fact8: そのビニールは正倉院薬物だ fact9: そのビニールはいがらっぽい fact10: もし「その平中は模様編みでないが放ち始める」ということは間違いであるとすればあの頭字語は模様編みだ fact11: あの野生系統はいがらっぽい ; $hypothesis$ = そのビニールはいがらっぽい ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: この金属部分はいがらっぽい
事実2: その国民公会はいがらっぽい
事実3: そのビニールは渾名である
事実4: そのビニールは五十万円未満である
事実5: そのビニールは金銭補償だ
事実6: この悪運はいがらっぽい
事実7: 仮に「「いがらっぽくて平均化する」ということは誤りな」物があればそのビニールはいがらっぽくない
事実8: そのビニールは正倉院薬物だ
事実9: そのビニールはいがらっぽい
事実10: もし「その平中は模様編みでないが放ち始める」ということは間違いであるとすればあの頭字語は模様編みだ
事実11: あの野生系統はいがらっぽい

仮説: そのビニールはいがらっぽい
1. 事実9から、仮説が導かれる

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