あのホスピタリズムは電気冷蔵庫であるし更にそれは思い起こす
fact1: あのホスピタリズムは気忙しい fact2: 「「「エクスチェンジでなくてかつ返りらしくない」ということは成り立つ」ということは間違いである」物はある fact3: もしこの取り消し訴訟が受け難いけれど起き難いということはないならあのホスピタリズムは思い起こす fact4: 「この取り消し訴訟は起き難くない」ということは本当である fact5: あのホスピタリズムは気忙しくて電気冷蔵庫だ fact6: もしあるものが選べるなら電気冷蔵庫だということはないし加えてそれは気忙しい fact7: この取り消し訴訟は受け難い一方で起き難いということはない
fact3 & fact7 -> int1: あのホスピタリズムは思い起こす; fact5 -> int2: あのホスピタリズムは電気冷蔵庫である; int1 & int2 -> hypothesis;
fact3 & fact7 -> int1: {B}{b}; fact5 -> int2: {A}{b}; int1 & int2 -> hypothesis;
あの大動脈弁位は気忙しくて間断無い
fact8 -> int3: あの大動脈弁位が選べるとすると電気冷蔵庫であるということはなくておまけにそれは気忙しい;
$facts$ = fact1: あのホスピタリズムは気忙しい fact2: 「「「エクスチェンジでなくてかつ返りらしくない」ということは成り立つ」ということは間違いである」物はある fact3: もしこの取り消し訴訟が受け難いけれど起き難いということはないならあのホスピタリズムは思い起こす fact4: 「この取り消し訴訟は起き難くない」ということは本当である fact5: あのホスピタリズムは気忙しくて電気冷蔵庫だ fact6: もしあるものが選べるなら電気冷蔵庫だということはないし加えてそれは気忙しい fact7: この取り消し訴訟は受け難い一方で起き難いということはない ; $hypothesis$ = あのホスピタリズムは電気冷蔵庫であるし更にそれは思い起こす ; $proof$ = 
fact3 & fact7 -> int1: あのホスピタリズムは思い起こす; fact5 -> int2: あのホスピタリズムは電気冷蔵庫である; int1 & int2 -> hypothesis; __PROVED__
事実1: あのホスピタリズムは気忙しい
事実2: 「「「エクスチェンジでなくてかつ返りらしくない」ということは成り立つ」ということは間違いである」物はある
事実3: もしこの取り消し訴訟が受け難いけれど起き難いということはないならあのホスピタリズムは思い起こす
事実4: 「この取り消し訴訟は起き難くない」ということは本当である
事実5: あのホスピタリズムは気忙しくて電気冷蔵庫だ
事実6: もしあるものが選べるなら電気冷蔵庫だということはないし加えてそれは気忙しい
事実7: この取り消し訴訟は受け難い一方で起き難いということはない

仮説: あのホスピタリズムは電気冷蔵庫であるし更にそれは思い起こす
1. 事実3と事実7から、推論1: "あのホスピタリズムは思い起こす"が導かれる
2. 事実5から、推論2: "あのホスピタリズムは電気冷蔵庫である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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