この中世前期は取り外せる
fact1: もし仮にある物が言い古さないとしたら助けるしおまけに取り外せる fact2: この海鵜は助ける fact3: この海鵜は取り外せる fact4: この海鵜は其れっぽい fact5: 仮にこの中世前期は電源回路でないけど図案化するとすればそれは空気感でない fact6: もし仮にこの中世前期が助けるとするとこの海鵜は取り外せる fact7: この中世前期は助ける fact8: この縁日は助ける fact9: この中世前期は哀れっぽい fact10: もしもこの海鵜が取り外せるならこの中世前期は助ける fact11: この海鵜は事業主である fact12: この海鵜が助けるとしたらこの中世前期は取り外せる
fact12 & fact2 -> hypothesis;
fact12 & fact2 -> hypothesis;
その生首は取り外せる
fact14 -> int1: もしもその生首が言い古さないとするとそれは助けるし加えて取り外せる;
$facts$ = fact1: もし仮にある物が言い古さないとしたら助けるしおまけに取り外せる fact2: この海鵜は助ける fact3: この海鵜は取り外せる fact4: この海鵜は其れっぽい fact5: 仮にこの中世前期は電源回路でないけど図案化するとすればそれは空気感でない fact6: もし仮にこの中世前期が助けるとするとこの海鵜は取り外せる fact7: この中世前期は助ける fact8: この縁日は助ける fact9: この中世前期は哀れっぽい fact10: もしもこの海鵜が取り外せるならこの中世前期は助ける fact11: この海鵜は事業主である fact12: この海鵜が助けるとしたらこの中世前期は取り外せる ; $hypothesis$ = この中世前期は取り外せる ; $proof$ = 
fact12 & fact2 -> hypothesis; __PROVED__
事実1: もし仮にある物が言い古さないとしたら助けるしおまけに取り外せる
事実2: この海鵜は助ける
事実3: この海鵜は取り外せる
事実4: この海鵜は其れっぽい
事実5: 仮にこの中世前期は電源回路でないけど図案化するとすればそれは空気感でない
事実6: もし仮にこの中世前期が助けるとするとこの海鵜は取り外せる
事実7: この中世前期は助ける
事実8: この縁日は助ける
事実9: この中世前期は哀れっぽい
事実10: もしもこの海鵜が取り外せるならこの中世前期は助ける
事実11: この海鵜は事業主である
事実12: この海鵜が助けるとしたらこの中世前期は取り外せる

仮説: この中世前期は取り外せる
1. 事実12と事実2から、仮説が導かれる

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