その末は飼養する
fact1: 仮に「「なんらかのものは飼養しなくて加えて腫大しない」ということは確かである」ということは正しくないならば飼養する fact2: 仮にその調整措置が閾値だということはないとすればそれは普通貸し付けであるしそそっかしい fact3: なにがしかのものが普通貸し付けだとすればそれは腫大しないかまたは飼養しないか両方ともである fact4: あの一定期間経過後は飼養する fact5: あの環境計算書は飼養する fact6: その当該商品は飼養する fact7: この房室結節は飼養する fact8: その末は転がる fact9: この上顎洞粘膜は飼養する fact10: その末は誑かす fact11: その既存部分は飼養する fact12: その末は打ち易い fact13: その末は読み辛い fact14: 「その末は腫れ上がる」ということは事実である fact15: その末は飼養する fact16: その右垂直線は飼養する
fact15 -> hypothesis;
その末は飼養しない
fact18 -> int1: もしも「その調整措置は普通貸し付けである」ということは間違いでないとすれば腫大しないかまたは飼養しない;
$facts$ = fact1: 仮に「「なんらかのものは飼養しなくて加えて腫大しない」ということは確かである」ということは正しくないならば飼養する fact2: 仮にその調整措置が閾値だということはないとすればそれは普通貸し付けであるしそそっかしい fact3: なにがしかのものが普通貸し付けだとすればそれは腫大しないかまたは飼養しないか両方ともである fact4: あの一定期間経過後は飼養する fact5: あの環境計算書は飼養する fact6: その当該商品は飼養する fact7: この房室結節は飼養する fact8: その末は転がる fact9: この上顎洞粘膜は飼養する fact10: その末は誑かす fact11: その既存部分は飼養する fact12: その末は打ち易い fact13: その末は読み辛い fact14: 「その末は腫れ上がる」ということは事実である fact15: その末は飼養する fact16: その右垂直線は飼養する ; $hypothesis$ = その末は飼養する ; $proof$ = 
fact15 -> hypothesis; __PROVED__
事実1: 仮に「「なんらかのものは飼養しなくて加えて腫大しない」ということは確かである」ということは正しくないならば飼養する
事実2: 仮にその調整措置が閾値だということはないとすればそれは普通貸し付けであるしそそっかしい
事実3: なにがしかのものが普通貸し付けだとすればそれは腫大しないかまたは飼養しないか両方ともである
事実4: あの一定期間経過後は飼養する
事実5: あの環境計算書は飼養する
事実6: その当該商品は飼養する
事実7: この房室結節は飼養する
事実8: その末は転がる
事実9: この上顎洞粘膜は飼養する
事実10: その末は誑かす
事実11: その既存部分は飼養する
事実12: その末は打ち易い
事実13: その末は読み辛い
事実14: 「その末は腫れ上がる」ということは事実である
事実15: その末は飼養する
事実16: その右垂直線は飼養する

仮説: その末は飼養する
1. 事実15から、仮説が導かれる

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