あのＰＣカードスロットは滞り易い
fact1: 仮にこの居食いが破れ難いならあのＰＣカードスロットは滞り易い fact2: その上界は腹立たしい fact3: 「その上界は用ゆ」ということは事実だ fact4: その上界は利用し辛い fact5: 仮にあのＰＣカードスロットが利用し辛いならその上界は滞り易い fact6: あのＰＣカードスロットは破れ難い fact7: もし仮に「なんらかのものは破れ難いし滞り易い」ということは事実と異なるとしたら滞り易いということはない fact8: 「この居食いは利用し辛い」ということは真実だ fact9: 「その上界は利用し辛い」ということは確かであるならばあの居食いは破れ難い fact10: その上界は破れ難い fact11: もしもこの居食いは滞り易いとしたら「あのＰＣカードスロットは破れ難い」ということは事実だ
fact9 & fact4 -> int1: この居食いは破れ難い; int1 & fact1 -> hypothesis;
あのＰＣカードスロットは滞り易くない
fact12 -> int2: 仮に「あのＰＣカードスロットは破れ難いし更に滞り易い」ということは成り立たないならば滞り易くない;
$facts$ = fact1: 仮にこの居食いが破れ難いならあのＰＣカードスロットは滞り易い fact2: その上界は腹立たしい fact3: 「その上界は用ゆ」ということは事実だ fact4: その上界は利用し辛い fact5: 仮にあのＰＣカードスロットが利用し辛いならその上界は滞り易い fact6: あのＰＣカードスロットは破れ難い fact7: もし仮に「なんらかのものは破れ難いし滞り易い」ということは事実と異なるとしたら滞り易いということはない fact8: 「この居食いは利用し辛い」ということは真実だ fact9: 「その上界は利用し辛い」ということは確かであるならばあの居食いは破れ難い fact10: その上界は破れ難い fact11: もしもこの居食いは滞り易いとしたら「あのＰＣカードスロットは破れ難い」ということは事実だ ; $hypothesis$ = あのＰＣカードスロットは滞り易い ; $proof$ = 
fact9 & fact4 -> int1: この居食いは破れ難い; int1 & fact1 -> hypothesis; __PROVED__
事実1: 仮にこの居食いが破れ難いならあのＰＣカードスロットは滞り易い
事実2: その上界は腹立たしい
事実3: 「その上界は用ゆ」ということは事実だ
事実4: その上界は利用し辛い
事実5: 仮にあのＰＣカードスロットが利用し辛いならその上界は滞り易い
事実6: あのＰＣカードスロットは破れ難い
事実7: もし仮に「なんらかのものは破れ難いし滞り易い」ということは事実と異なるとしたら滞り易いということはない
事実8: 「この居食いは利用し辛い」ということは真実だ
事実9: 「その上界は利用し辛い」ということは確かであるならばあの居食いは破れ難い
事実10: その上界は破れ難い
事実11: もしもこの居食いは滞り易いとしたら「あのＰＣカードスロットは破れ難い」ということは事実だ

仮説: あのＰＣカードスロットは滞り易い
1. 事実9と事実4から、推論1: "この居食いは破れ難い"が導かれる
2. 推論1と事実1から、仮説が導かれる

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