そのスフィンクスは希求しない
fact1: 「そのスフィンクスは希求するが浅しない」ということは偽である fact2: 仮にこのイラク人が作品分析でないとするとそのスフィンクスは希求しない fact3: もし仮にそのスフィンクスが浅しないとしたらこのイラク人は希求するということはない fact4: もし「そのスフィンクスは希求するけれど作品分析でない」ということは事実と異なればこのイラク人は浅しない fact5: その事務局長は作品分析でない fact6: 「このイラク人が希求しないとするとそのスフィンクスは作品分析でない」ということは真実である fact7: 「このイラク人は希求するけどそれは作品分析でない」ということは嘘である fact8: もしこのイラク人が希求しないとしたらそのスフィンクスは浅しない fact9: 「このイラク人は作品分析だけれどそれは浅しない」ということは間違いである fact10: 仮に「このイラク人は浅しが希求するということはない」ということは事実でないならばそのスフィンクスは作品分析でない fact11: 仮にあるものが子供っぽいとしたら希求する fact12: 「そのスフィンクスは疑い深い一方で希求するということはない」ということは正しくない fact13: もしこのイラク人が複製本でないならそのスフィンクスは希求するしそれは子供っぽい fact14: もし仮に「このイラク人は作品分析であるけれどそれは浅しない」ということは誤りならそのスフィンクスは希求しない fact15: もし仮に「このイラク人は希求するけどそれは子供っぽいということはない」ということは嘘であるならそのＲＯＥは作品分析でない
fact14 & fact9 -> hypothesis;
fact14 & fact9 -> hypothesis;
そのスフィンクスは希求する
$facts$ = fact1: 「そのスフィンクスは希求するが浅しない」ということは偽である fact2: 仮にこのイラク人が作品分析でないとするとそのスフィンクスは希求しない fact3: もし仮にそのスフィンクスが浅しないとしたらこのイラク人は希求するということはない fact4: もし「そのスフィンクスは希求するけれど作品分析でない」ということは事実と異なればこのイラク人は浅しない fact5: その事務局長は作品分析でない fact6: 「このイラク人が希求しないとするとそのスフィンクスは作品分析でない」ということは真実である fact7: 「このイラク人は希求するけどそれは作品分析でない」ということは嘘である fact8: もしこのイラク人が希求しないとしたらそのスフィンクスは浅しない fact9: 「このイラク人は作品分析だけれどそれは浅しない」ということは間違いである fact10: 仮に「このイラク人は浅しが希求するということはない」ということは事実でないならばそのスフィンクスは作品分析でない fact11: 仮にあるものが子供っぽいとしたら希求する fact12: 「そのスフィンクスは疑い深い一方で希求するということはない」ということは正しくない fact13: もしこのイラク人が複製本でないならそのスフィンクスは希求するしそれは子供っぽい fact14: もし仮に「このイラク人は作品分析であるけれどそれは浅しない」ということは誤りならそのスフィンクスは希求しない fact15: もし仮に「このイラク人は希求するけどそれは子供っぽいということはない」ということは嘘であるならそのＲＯＥは作品分析でない ; $hypothesis$ = そのスフィンクスは希求しない ; $proof$ = 
fact14 & fact9 -> hypothesis; __PROVED__
事実1: 「そのスフィンクスは希求するが浅しない」ということは偽である
事実2: 仮にこのイラク人が作品分析でないとするとそのスフィンクスは希求しない
事実3: もし仮にそのスフィンクスが浅しないとしたらこのイラク人は希求するということはない
事実4: もし「そのスフィンクスは希求するけれど作品分析でない」ということは事実と異なればこのイラク人は浅しない
事実5: その事務局長は作品分析でない
事実6: 「このイラク人が希求しないとするとそのスフィンクスは作品分析でない」ということは真実である
事実7: 「このイラク人は希求するけどそれは作品分析でない」ということは嘘である
事実8: もしこのイラク人が希求しないとしたらそのスフィンクスは浅しない
事実9: 「このイラク人は作品分析だけれどそれは浅しない」ということは間違いである
事実10: 仮に「このイラク人は浅しが希求するということはない」ということは事実でないならばそのスフィンクスは作品分析でない
事実11: 仮にあるものが子供っぽいとしたら希求する
事実12: 「そのスフィンクスは疑い深い一方で希求するということはない」ということは正しくない
事実13: もしこのイラク人が複製本でないならそのスフィンクスは希求するしそれは子供っぽい
事実14: もし仮に「このイラク人は作品分析であるけれどそれは浅しない」ということは誤りならそのスフィンクスは希求しない
事実15: もし仮に「このイラク人は希求するけどそれは子供っぽいということはない」ということは嘘であるならそのＲＯＥは作品分析でない

仮説: そのスフィンクスは希求しない
1. 事実14と事実9から、仮説が導かれる

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