その二国論は力強い
fact1: もしも「「文庫であるか正し」ということは間違いである」ものがあるとしたらその二国論は力強い fact2: その深更は文庫でない fact3: この描画は脂っぽくない fact4: もしこの描画は脂っぽくないとしたら「それは文庫であるかもしくは正し」ということは事実と異なる
fact4 & fact3 -> int1: 「この描画は文庫であるかもしくはそれは正し」ということは嘘である; int1 -> int2: 「「文庫であるか正し」ということは成り立たない」ものはある; int2 & fact1 -> hypothesis;
$facts$ = fact1: もしも「「文庫であるか正し」ということは間違いである」ものがあるとしたらその二国論は力強い fact2: その深更は文庫でない fact3: この描画は脂っぽくない fact4: もしこの描画は脂っぽくないとしたら「それは文庫であるかもしくは正し」ということは事実と異なる ; $hypothesis$ = その二国論は力強い ; $proof$ = 
fact4 & fact3 -> int1: 「この描画は文庫であるかもしくはそれは正し」ということは嘘である; int1 -> int2: 「「文庫であるか正し」ということは成り立たない」ものはある; int2 & fact1 -> hypothesis; __PROVED__
事実1: もしも「「文庫であるか正し」ということは間違いである」ものがあるとしたらその二国論は力強い
事実2: その深更は文庫でない
事実3: この描画は脂っぽくない
事実4: もしこの描画は脂っぽくないとしたら「それは文庫であるかもしくは正し」ということは事実と異なる

仮説: その二国論は力強い
1. 事実4と事実3から、推論1: "「この描画は文庫であるかもしくはそれは正し」ということは嘘である"が導かれる
2. 推論1から、推論2: "「「文庫であるか正し」ということは成り立たない」ものはある"が導かれる
3. 推論2と事実1から、仮説が導かれる

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