「仮に軍人らしくないならば「使えるしかつ候補地だということはない」ということは間違っている」物はある
fact1: もしも「この御慈悲は使えない」ということは成り立つなら「それは軟らかくてさらに転居する」ということは事実と異なる fact2: もしなにがしかの物は軍人らしくないとすると「それは使える一方で候補地でない」ということは成り立たない fact3: 軍人らしくない物は使えるけど候補地でない
fact2 -> int1: 仮にそのど迫力は軍人らしくないとすれば「それは使えるけれど候補地でない」ということは偽である; int1 -> hypothesis;
$facts$ = fact1: もしも「この御慈悲は使えない」ということは成り立つなら「それは軟らかくてさらに転居する」ということは事実と異なる fact2: もしなにがしかの物は軍人らしくないとすると「それは使える一方で候補地でない」ということは成り立たない fact3: 軍人らしくない物は使えるけど候補地でない ; $hypothesis$ = 「仮に軍人らしくないならば「使えるしかつ候補地だということはない」ということは間違っている」物はある ; $proof$ = 
fact2 -> int1: 仮にそのど迫力は軍人らしくないとすれば「それは使えるけれど候補地でない」ということは偽である; int1 -> hypothesis; __PROVED__
事実1: もしも「この御慈悲は使えない」ということは成り立つなら「それは軟らかくてさらに転居する」ということは事実と異なる
事実2: もしなにがしかの物は軍人らしくないとすると「それは使える一方で候補地でない」ということは成り立たない
事実3: 軍人らしくない物は使えるけど候補地でない

仮説: 「仮に軍人らしくないならば「使えるしかつ候補地だということはない」ということは間違っている」物はある
1. 事実2から、推論1: "仮にそのど迫力は軍人らしくないとすれば「それは使えるけれど候補地でない」ということは偽である"が導かれる
2. 推論1から、仮説が導かれる

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