あの流民は横這い状態でない
fact1: もし仮にこの客観情勢が容易くないがグローならあの流民は救い難くない fact2: 「救い難くない物は横這い状態でない」ということは成り立つ fact3: この客観情勢は容易くない一方でグローである
fact1 & fact3 -> int1: 「あの流民は救い難くない」ということは確かである; fact2 -> int2: もし仮にあの流民が救い難くないならば横這い状態でない; int1 & int2 -> hypothesis;
$facts$ = fact1: もし仮にこの客観情勢が容易くないがグローならあの流民は救い難くない fact2: 「救い難くない物は横這い状態でない」ということは成り立つ fact3: この客観情勢は容易くない一方でグローである ; $hypothesis$ = あの流民は横這い状態でない ; $proof$ = 
fact1 & fact3 -> int1: 「あの流民は救い難くない」ということは確かである; fact2 -> int2: もし仮にあの流民が救い難くないならば横這い状態でない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮にこの客観情勢が容易くないがグローならあの流民は救い難くない
事実2: 「救い難くない物は横這い状態でない」ということは成り立つ
事実3: この客観情勢は容易くない一方でグローである

仮説: あの流民は横這い状態でない
1. 事実1と事実3から、推論1: "「あの流民は救い難くない」ということは確かである"が導かれる
2. 事実2から、推論2: "もし仮にあの流民が救い難くないならば横這い状態でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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