「あの不動産賃借権は四番エンジンでないけれど太り易い」ということは間違いでない
fact1: あの人気者は成立し難くないしイェーナ期でない fact2: 太り易い物はイェーナ期でなくて狙い易くない fact3: もし「何らかの物は解剖する」ということは確かだとすれば成立し難くない fact4: 仮にあの物語言説が当選するとしたらあの人気者は忘るないがしかし近付き易い fact5: 仮に何かはイェーナ期だとすると「四番エンジンだということはないけれど太り易い」ということは成り立たない fact6: 「あの物語言説は当選する」ということは成り立つ fact7: もし「あの不動産賃借権は当たり難くないがしかし御移す」ということは間違っているとすればそれは四番エンジンでない fact8: あの人気者が成立し難くないし加えてイェーナ期でないとするとあの不動産賃借権は太り易い fact9: 「あの不動産賃借権は当たり難くないけれど御移す」ということは間違いである fact10: 仮に「忘るということはないけど近付き易い」ものがあるならあの不動産賃借権は解剖する
fact7 & fact9 -> int1: 「あの不動産賃借権は四番エンジンでない」ということは正しい; fact8 & fact1 -> int2: あの不動産賃借権は太り易い; int1 & int2 -> hypothesis;
fact7 & fact9 -> int1: ¬{B}{a}; fact8 & fact1 -> int2: {A}{a}; int1 & int2 -> hypothesis;
「あの不動産賃借権は四番エンジンでないけれど太り易い」ということは間違いである
fact11 -> int3: あの不動産賃借権はイェーナ期だとすれば「「それは四番エンジンでないけど太り易い」ということは成り立つ」ということは成り立たない;
$facts$ = fact1: あの人気者は成立し難くないしイェーナ期でない fact2: 太り易い物はイェーナ期でなくて狙い易くない fact3: もし「何らかの物は解剖する」ということは確かだとすれば成立し難くない fact4: 仮にあの物語言説が当選するとしたらあの人気者は忘るないがしかし近付き易い fact5: 仮に何かはイェーナ期だとすると「四番エンジンだということはないけれど太り易い」ということは成り立たない fact6: 「あの物語言説は当選する」ということは成り立つ fact7: もし「あの不動産賃借権は当たり難くないがしかし御移す」ということは間違っているとすればそれは四番エンジンでない fact8: あの人気者が成立し難くないし加えてイェーナ期でないとするとあの不動産賃借権は太り易い fact9: 「あの不動産賃借権は当たり難くないけれど御移す」ということは間違いである fact10: 仮に「忘るということはないけど近付き易い」ものがあるならあの不動産賃借権は解剖する ; $hypothesis$ = 「あの不動産賃借権は四番エンジンでないけれど太り易い」ということは間違いでない ; $proof$ = 
fact7 & fact9 -> int1: 「あの不動産賃借権は四番エンジンでない」ということは正しい; fact8 & fact1 -> int2: あの不動産賃借権は太り易い; int1 & int2 -> hypothesis; __PROVED__
事実1: あの人気者は成立し難くないしイェーナ期でない
事実2: 太り易い物はイェーナ期でなくて狙い易くない
事実3: もし「何らかの物は解剖する」ということは確かだとすれば成立し難くない
事実4: 仮にあの物語言説が当選するとしたらあの人気者は忘るないがしかし近付き易い
事実5: 仮に何かはイェーナ期だとすると「四番エンジンだということはないけれど太り易い」ということは成り立たない
事実6: 「あの物語言説は当選する」ということは成り立つ
事実7: もし「あの不動産賃借権は当たり難くないがしかし御移す」ということは間違っているとすればそれは四番エンジンでない
事実8: あの人気者が成立し難くないし加えてイェーナ期でないとするとあの不動産賃借権は太り易い
事実9: 「あの不動産賃借権は当たり難くないけれど御移す」ということは間違いである
事実10: 仮に「忘るということはないけど近付き易い」ものがあるならあの不動産賃借権は解剖する

仮説: 「あの不動産賃借権は四番エンジンでないけれど太り易い」ということは間違いでない
1. 事実7と事実9から、推論1: "「あの不動産賃借権は四番エンジンでない」ということは正しい"が導かれる
2. 事実8と事実1から、推論2: "あの不動産賃借権は太り易い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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