「繁殖し易いか絶する」物はある
fact1: このレドームは絶するかまたは予測し易いかもしくは両方ともだ fact2: このパンツスタイルは特養だ fact3: この良友は絶する fact4: このパンツスタイルは絶する fact5: このパンツスタイルはグリーン系であるかあるいはそれは二乗法だ fact6: このパンツスタイルは口汚いかもしくはそれは絶する fact7: このパンツスタイルは絶するかまたはビリヤードであるかあるいは両方ともだ fact8: なんらかのものは麗しかまたはイオラニ宮殿であるかまたは両方である fact9: そのグループ活動は繁殖し易いかまたは置き易いかどちらもだ fact10: このパンツスタイルは出来易い fact11: なにがしかの物は形成され易いかまたはそれは溶け易い fact12: このパンツスタイルははっとする fact13: このパンツスタイルはフィットする
fact4 -> int1: このパンツスタイルは繁殖し易いかそれは絶する; int1 -> hypothesis;
$facts$ = fact1: このレドームは絶するかまたは予測し易いかもしくは両方ともだ fact2: このパンツスタイルは特養だ fact3: この良友は絶する fact4: このパンツスタイルは絶する fact5: このパンツスタイルはグリーン系であるかあるいはそれは二乗法だ fact6: このパンツスタイルは口汚いかもしくはそれは絶する fact7: このパンツスタイルは絶するかまたはビリヤードであるかあるいは両方ともだ fact8: なんらかのものは麗しかまたはイオラニ宮殿であるかまたは両方である fact9: そのグループ活動は繁殖し易いかまたは置き易いかどちらもだ fact10: このパンツスタイルは出来易い fact11: なにがしかの物は形成され易いかまたはそれは溶け易い fact12: このパンツスタイルははっとする fact13: このパンツスタイルはフィットする ; $hypothesis$ = 「繁殖し易いか絶する」物はある ; $proof$ = 
fact4 -> int1: このパンツスタイルは繁殖し易いかそれは絶する; int1 -> hypothesis; __PROVED__
事実1: このレドームは絶するかまたは予測し易いかもしくは両方ともだ
事実2: このパンツスタイルは特養だ
事実3: この良友は絶する
事実4: このパンツスタイルは絶する
事実5: このパンツスタイルはグリーン系であるかあるいはそれは二乗法だ
事実6: このパンツスタイルは口汚いかもしくはそれは絶する
事実7: このパンツスタイルは絶するかまたはビリヤードであるかあるいは両方ともだ
事実8: なんらかのものは麗しかまたはイオラニ宮殿であるかまたは両方である
事実9: そのグループ活動は繁殖し易いかまたは置き易いかどちらもだ
事実10: このパンツスタイルは出来易い
事実11: なにがしかの物は形成され易いかまたはそれは溶け易い
事実12: このパンツスタイルははっとする
事実13: このパンツスタイルはフィットする

仮説: 「繁殖し易いか絶する」物はある
1. 事実4から、推論1: "このパンツスタイルは繁殖し易いかそれは絶する"が導かれる
2. 推論1から、仮説が導かれる

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