この現状は思い易い
fact1: 仮にこの現状が差し迫らなくて小憎らしくないならばあのキャリーは差し迫らない fact2: 「この現状は自然気胸でないけど思い易い」ということは成り立たない fact3: 「この現状は払い込みでない」ということは事実だ fact4: 仮にこの現状は払い込みでないとすれば「欠格でないが聞き易い」ということは間違いだ fact5: もし仮に「この投資者保護は立論するが払い込みでない」ということは事実と異なるとすればあの現状は思い易くない fact6: あのキャリーは差し迫らないとしたら「立論しなくて思い易い」ということは誤りだ fact7: あの丸薬は欠格でない fact8: もし「何かは欠格でないけれど聞き易い」ということは誤っているとしたらそれは思い易い
fact4 & fact3 -> int1: 「この現状は欠格でない一方で聞き易い」ということは間違いだ; fact8 -> int2: もし仮に「この現状は欠格でないが聞き易い」ということは成り立たないとしたらそれは思い易い; int1 & int2 -> hypothesis;
あのキャリーは払い込みでない
$facts$ = fact1: 仮にこの現状が差し迫らなくて小憎らしくないならばあのキャリーは差し迫らない fact2: 「この現状は自然気胸でないけど思い易い」ということは成り立たない fact3: 「この現状は払い込みでない」ということは事実だ fact4: 仮にこの現状は払い込みでないとすれば「欠格でないが聞き易い」ということは間違いだ fact5: もし仮に「この投資者保護は立論するが払い込みでない」ということは事実と異なるとすればあの現状は思い易くない fact6: あのキャリーは差し迫らないとしたら「立論しなくて思い易い」ということは誤りだ fact7: あの丸薬は欠格でない fact8: もし「何かは欠格でないけれど聞き易い」ということは誤っているとしたらそれは思い易い ; $hypothesis$ = この現状は思い易い ; $proof$ = 
fact4 & fact3 -> int1: 「この現状は欠格でない一方で聞き易い」ということは間違いだ; fact8 -> int2: もし仮に「この現状は欠格でないが聞き易い」ということは成り立たないとしたらそれは思い易い; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にこの現状が差し迫らなくて小憎らしくないならばあのキャリーは差し迫らない
事実2: 「この現状は自然気胸でないけど思い易い」ということは成り立たない
事実3: 「この現状は払い込みでない」ということは事実だ
事実4: 仮にこの現状は払い込みでないとすれば「欠格でないが聞き易い」ということは間違いだ
事実5: もし仮に「この投資者保護は立論するが払い込みでない」ということは事実と異なるとすればあの現状は思い易くない
事実6: あのキャリーは差し迫らないとしたら「立論しなくて思い易い」ということは誤りだ
事実7: あの丸薬は欠格でない
事実8: もし「何かは欠格でないけれど聞き易い」ということは誤っているとしたらそれは思い易い

仮説: この現状は思い易い
1. 事実4と事実3から、推論1: "「この現状は欠格でない一方で聞き易い」ということは間違いだ"が導かれる
2. 事実8から、推論2: "もし仮に「この現状は欠格でないが聞き易い」ということは成り立たないとしたらそれは思い易い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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