もしもあのミセスが抜け出せるならこの御箸は欧州政体でない一方で相互利益である
fact1: この御箸は探偵しないが欧州政体だ fact2: もしあのミセスが抜け出せるとするとこの御箸は相互利益である fact3: この御箸は抜け出せるということはない一方で欧州政体である fact4: あのミセスは時代社会である fact5: もしあのミセスが相互利益であるとするとこの御箸は相互利益である fact6: もしあのミセスが抜け出せれば相互利益だ fact7: もし仮にあのミセスが相互利益であるとしたらこの御箸は欧州政体でないけれど相互利益だ fact8: この前巻は抜け出せる fact9: この御箸が危なっかしいとすればそれは相互利益である fact10: もし仮にあのミセスが相互利益であるとするとこの御箸は抜け出せないがしかしそれは相互利益だ fact11: この一部屋は抜け出せる fact12: もし仮にあのミセスが相互利益ならこの御箸は欧州政体であるし相互利益だ fact13: この御箸は欧州政体でしかも相互利益だ fact14: あのミセスは欧州政体である fact15: 仮にこの御箸が抜け出せればあのミセスは相互利益でないけど欧州政体である fact16: あのミセスは親し fact17: あのミセスは傑出する fact18: 仮にあのミセスが抜け出せればこの御箸は欧州政体で相互利益である fact19: この御箸は相互利益である
void -> assump1: 以下のように仮定する。あのミセスは抜け出せる; fact6 & assump1 -> int1: あのミセスは相互利益である; int1 & fact7 -> int2: この御箸は欧州政体でない一方で相互利益だ; [assump1] & int2 -> hypothesis;
$facts$ = fact1: この御箸は探偵しないが欧州政体だ fact2: もしあのミセスが抜け出せるとするとこの御箸は相互利益である fact3: この御箸は抜け出せるということはない一方で欧州政体である fact4: あのミセスは時代社会である fact5: もしあのミセスが相互利益であるとするとこの御箸は相互利益である fact6: もしあのミセスが抜け出せれば相互利益だ fact7: もし仮にあのミセスが相互利益であるとしたらこの御箸は欧州政体でないけれど相互利益だ fact8: この前巻は抜け出せる fact9: この御箸が危なっかしいとすればそれは相互利益である fact10: もし仮にあのミセスが相互利益であるとするとこの御箸は抜け出せないがしかしそれは相互利益だ fact11: この一部屋は抜け出せる fact12: もし仮にあのミセスが相互利益ならこの御箸は欧州政体であるし相互利益だ fact13: この御箸は欧州政体でしかも相互利益だ fact14: あのミセスは欧州政体である fact15: 仮にこの御箸が抜け出せればあのミセスは相互利益でないけど欧州政体である fact16: あのミセスは親し fact17: あのミセスは傑出する fact18: 仮にあのミセスが抜け出せればこの御箸は欧州政体で相互利益である fact19: この御箸は相互利益である ; $hypothesis$ = もしもあのミセスが抜け出せるならこの御箸は欧州政体でない一方で相互利益である ; $proof$ = 
void -> assump1: 以下のように仮定する。あのミセスは抜け出せる; fact6 & assump1 -> int1: あのミセスは相互利益である; int1 & fact7 -> int2: この御箸は欧州政体でない一方で相互利益だ; [assump1] & int2 -> hypothesis; __PROVED__
事実1: この御箸は探偵しないが欧州政体だ
事実2: もしあのミセスが抜け出せるとするとこの御箸は相互利益である
事実3: この御箸は抜け出せるということはない一方で欧州政体である
事実4: あのミセスは時代社会である
事実5: もしあのミセスが相互利益であるとするとこの御箸は相互利益である
事実6: もしあのミセスが抜け出せれば相互利益だ
事実7: もし仮にあのミセスが相互利益であるとしたらこの御箸は欧州政体でないけれど相互利益だ
事実8: この前巻は抜け出せる
事実9: この御箸が危なっかしいとすればそれは相互利益である
事実10: もし仮にあのミセスが相互利益であるとするとこの御箸は抜け出せないがしかしそれは相互利益だ
事実11: この一部屋は抜け出せる
事実12: もし仮にあのミセスが相互利益ならこの御箸は欧州政体であるし相互利益だ
事実13: この御箸は欧州政体でしかも相互利益だ
事実14: あのミセスは欧州政体である
事実15: 仮にこの御箸が抜け出せればあのミセスは相互利益でないけど欧州政体である
事実16: あのミセスは親し
事実17: あのミセスは傑出する
事実18: 仮にあのミセスが抜け出せればこの御箸は欧州政体で相互利益である
事実19: この御箸は相互利益である

仮説: もしもあのミセスが抜け出せるならこの御箸は欧州政体でない一方で相互利益である
1. 仮定1: 以下のように仮定する。あのミセスは抜け出せる
2. 事実6と仮定1から、推論1: "あのミセスは相互利益である"が導かれる
3. 推論1と事実7から、推論2: "この御箸は欧州政体でない一方で相互利益だ"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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