この内証は御待ちに成る
fact1: もしその現有がクレジットカード情報ならこの内証は御待ちに成る fact2: もし仮に「なにがしかのものは御待ちに成るけど馴染み易くない」ということは成り立つということはないとしたら御待ちに成らない fact3: もしも「とある物は馴染み易くて更に親政だ」ということは確かであるならばあの粘稠は蓄積され易い fact4: この粘稠は再投資する fact5: 仮に馴染み易くないものが親政ならばこの粘稠は蓄積され易い fact6: 「馴染み易くないけれど親政である」ものはある fact7: その現有は御待ちに成る fact8: あの推定年齢はクレジットカード情報である fact9: 仮にこの粘稠が蓄積され易いとすればあの現有はクレジットカード情報である fact10: 「馴染み易くない」ものはある
fact6 & fact5 -> int1: この粘稠は蓄積され易い; int1 & fact9 -> int2: その現有はクレジットカード情報である; int2 & fact1 -> hypothesis;
「この内証は御待ちに成らない」ということは成り立つ
fact11 -> int3: もし仮に「この内証は御待ちに成るけれど馴染み易くない」ということは誤りだとしたら御待ちに成らない;
$facts$ = fact1: もしその現有がクレジットカード情報ならこの内証は御待ちに成る fact2: もし仮に「なにがしかのものは御待ちに成るけど馴染み易くない」ということは成り立つということはないとしたら御待ちに成らない fact3: もしも「とある物は馴染み易くて更に親政だ」ということは確かであるならばあの粘稠は蓄積され易い fact4: この粘稠は再投資する fact5: 仮に馴染み易くないものが親政ならばこの粘稠は蓄積され易い fact6: 「馴染み易くないけれど親政である」ものはある fact7: その現有は御待ちに成る fact8: あの推定年齢はクレジットカード情報である fact9: 仮にこの粘稠が蓄積され易いとすればあの現有はクレジットカード情報である fact10: 「馴染み易くない」ものはある ; $hypothesis$ = この内証は御待ちに成る ; $proof$ = 
fact6 & fact5 -> int1: この粘稠は蓄積され易い; int1 & fact9 -> int2: その現有はクレジットカード情報である; int2 & fact1 -> hypothesis; __PROVED__
事実1: もしその現有がクレジットカード情報ならこの内証は御待ちに成る
事実2: もし仮に「なにがしかのものは御待ちに成るけど馴染み易くない」ということは成り立つということはないとしたら御待ちに成らない
事実3: もしも「とある物は馴染み易くて更に親政だ」ということは確かであるならばあの粘稠は蓄積され易い
事実4: この粘稠は再投資する
事実5: 仮に馴染み易くないものが親政ならばこの粘稠は蓄積され易い
事実6: 「馴染み易くないけれど親政である」ものはある
事実7: その現有は御待ちに成る
事実8: あの推定年齢はクレジットカード情報である
事実9: 仮にこの粘稠が蓄積され易いとすればあの現有はクレジットカード情報である
事実10: 「馴染み易くない」ものはある

仮説: この内証は御待ちに成る
1. 事実6と事実5から、推論1: "この粘稠は蓄積され易い"が導かれる
2. 推論1と事実9から、推論2: "その現有はクレジットカード情報である"が導かれる
3. 推論2と事実1から、仮説が導かれる

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