もし仮にその二十三軒が好ましならばあの眉頭は手厳しい
fact1: その二十三軒は水蜘蛛である fact2: その眉頭は忌まわしい fact3: その車内アナウンスは好まし fact4: その眉頭は好まし fact5: その商標権者は外的環境であるとしたら引き延ばせる fact6: もしもその二十三軒は直立するとしたら「手厳しい」ということは偽でない fact7: あの感性は好まし fact8: もしその眉頭が直立するならその二十三軒は手厳しい fact9: もし仮にその二十三軒が直立するとすればあの眉頭は手厳しい fact10: その二十三軒は手厳しい fact11: 仮にその二十三軒が手厳しいとしたらその眉頭は相対座標だ fact12: 仮にその二十三軒が手厳しいならその眉頭は直立する fact13: 仮にその二十三軒が好ましならばそれは直立する fact14: 仮にその眉頭が形成し易いとすればそれは主原料である
void -> assump1: 以下のように仮定する。その二十三軒は好まし; fact13 & assump1 -> int1: その二十三軒は直立する; int1 & fact9 -> int2: その眉頭は手厳しい; [assump1] & int2 -> hypothesis;
$facts$ = fact1: その二十三軒は水蜘蛛である fact2: その眉頭は忌まわしい fact3: その車内アナウンスは好まし fact4: その眉頭は好まし fact5: その商標権者は外的環境であるとしたら引き延ばせる fact6: もしもその二十三軒は直立するとしたら「手厳しい」ということは偽でない fact7: あの感性は好まし fact8: もしその眉頭が直立するならその二十三軒は手厳しい fact9: もし仮にその二十三軒が直立するとすればあの眉頭は手厳しい fact10: その二十三軒は手厳しい fact11: 仮にその二十三軒が手厳しいとしたらその眉頭は相対座標だ fact12: 仮にその二十三軒が手厳しいならその眉頭は直立する fact13: 仮にその二十三軒が好ましならばそれは直立する fact14: 仮にその眉頭が形成し易いとすればそれは主原料である ; $hypothesis$ = もし仮にその二十三軒が好ましならばあの眉頭は手厳しい ; $proof$ = 
void -> assump1: 以下のように仮定する。その二十三軒は好まし; fact13 & assump1 -> int1: その二十三軒は直立する; int1 & fact9 -> int2: その眉頭は手厳しい; [assump1] & int2 -> hypothesis; __PROVED__
事実1: その二十三軒は水蜘蛛である
事実2: その眉頭は忌まわしい
事実3: その車内アナウンスは好まし
事実4: その眉頭は好まし
事実5: その商標権者は外的環境であるとしたら引き延ばせる
事実6: もしもその二十三軒は直立するとしたら「手厳しい」ということは偽でない
事実7: あの感性は好まし
事実8: もしその眉頭が直立するならその二十三軒は手厳しい
事実9: もし仮にその二十三軒が直立するとすればあの眉頭は手厳しい
事実10: その二十三軒は手厳しい
事実11: 仮にその二十三軒が手厳しいとしたらその眉頭は相対座標だ
事実12: 仮にその二十三軒が手厳しいならその眉頭は直立する
事実13: 仮にその二十三軒が好ましならばそれは直立する
事実14: 仮にその眉頭が形成し易いとすればそれは主原料である

仮説: もし仮にその二十三軒が好ましならばあの眉頭は手厳しい
1. 仮定1: 以下のように仮定する。その二十三軒は好まし
2. 事実13と仮定1から、推論1: "その二十三軒は直立する"が導かれる
3. 推論1と事実9から、推論2: "その眉頭は手厳しい"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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