その十四日号は溢れ落ちる
fact1: あの全資本は溢れ落ちる fact2: その十四日号はモダニズムだ fact3: もしもなんらかのものが繰り上げるとしたら溢れ落ちる fact4: その十四日号は溢れ落ちる fact5: その吟味は溢れ落ちる
fact4 -> hypothesis;
fact4 -> hypothesis;
そのＢランクは溢れ落ちる
fact6 -> int1: もしもそのＢランクが繰り上げるとすれば溢れ落ちる;
$facts$ = fact1: あの全資本は溢れ落ちる fact2: その十四日号はモダニズムだ fact3: もしもなんらかのものが繰り上げるとしたら溢れ落ちる fact4: その十四日号は溢れ落ちる fact5: その吟味は溢れ落ちる ; $hypothesis$ = その十四日号は溢れ落ちる ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: あの全資本は溢れ落ちる
事実2: その十四日号はモダニズムだ
事実3: もしもなんらかのものが繰り上げるとしたら溢れ落ちる
事実4: その十四日号は溢れ落ちる
事実5: その吟味は溢れ落ちる

仮説: その十四日号は溢れ落ちる
1. 事実4から、仮説が導かれる

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