「もし仮に先取り出来ないなら「悲し」ということは本当な」ものはある
fact1: 何らかのものが先取り出来ないとしたら悲し
fact1 -> int1: もし仮にこの魔除けが先取り出来ないなら悲し; int1 -> hypothesis;
$facts$ = fact1: 何らかのものが先取り出来ないとしたら悲し ; $hypothesis$ = 「もし仮に先取り出来ないなら「悲し」ということは本当な」ものはある ; $proof$ = 
fact1 -> int1: もし仮にこの魔除けが先取り出来ないなら悲し; int1 -> hypothesis; __PROVED__
事実1: 何らかのものが先取り出来ないとしたら悲し

仮説: 「もし仮に先取り出来ないなら「悲し」ということは本当な」ものはある
1. 事実1から、推論1: "もし仮にこの魔除けが先取り出来ないなら悲し"が導かれる
2. 推論1から、仮説が導かれる

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