「もし仮に抱き込むけれどだだっ広くないならば慟哭する」物はある
fact1: もしもあの発案者は進み易いがだだっ広いということはないとすればそれは縁応力である fact2: もしもあるものが抱き込むしその上だだっ広いとすると慟哭する fact3: もしもなんらかのものが抱き込むけれどだだっ広くないとすると慟哭する fact4: 仮にそのいさざは抱き込むしだだっ広いとしたら慟哭する fact5: 「もし仮に否定するし残り難いということはないとしたら好ましい」ものはある fact6: 「もしオン／オフするしさらに末梢血でないとしたら取り難い」ものはある fact7: 「もしも抱き込むし加えてだだっ広いなら慟哭する」ものはある
fact3 -> int1: もし仮にそのいさざは抱き込むがしかしだだっ広くないとしたら「慟哭する」ということは正しい; int1 -> hypothesis;
$facts$ = fact1: もしもあの発案者は進み易いがだだっ広いということはないとすればそれは縁応力である fact2: もしもあるものが抱き込むしその上だだっ広いとすると慟哭する fact3: もしもなんらかのものが抱き込むけれどだだっ広くないとすると慟哭する fact4: 仮にそのいさざは抱き込むしだだっ広いとしたら慟哭する fact5: 「もし仮に否定するし残り難いということはないとしたら好ましい」ものはある fact6: 「もしオン／オフするしさらに末梢血でないとしたら取り難い」ものはある fact7: 「もしも抱き込むし加えてだだっ広いなら慟哭する」ものはある ; $hypothesis$ = 「もし仮に抱き込むけれどだだっ広くないならば慟哭する」物はある ; $proof$ = 
fact3 -> int1: もし仮にそのいさざは抱き込むがしかしだだっ広くないとしたら「慟哭する」ということは正しい; int1 -> hypothesis; __PROVED__
事実1: もしもあの発案者は進み易いがだだっ広いということはないとすればそれは縁応力である
事実2: もしもあるものが抱き込むしその上だだっ広いとすると慟哭する
事実3: もしもなんらかのものが抱き込むけれどだだっ広くないとすると慟哭する
事実4: 仮にそのいさざは抱き込むしだだっ広いとしたら慟哭する
事実5: 「もし仮に否定するし残り難いということはないとしたら好ましい」ものはある
事実6: 「もしオン／オフするしさらに末梢血でないとしたら取り難い」ものはある
事実7: 「もしも抱き込むし加えてだだっ広いなら慟哭する」ものはある

仮説: 「もし仮に抱き込むけれどだだっ広くないならば慟哭する」物はある
1. 事実3から、推論1: "もし仮にそのいさざは抱き込むがしかしだだっ広くないとしたら「慟哭する」ということは正しい"が導かれる
2. 推論1から、仮説が導かれる

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