その同時代人は聞こえ難いしその上逆上せる
fact1: 「その艫はむず痒いけど会衆でない」ということは事実と異なる fact2: その同時代人は逆上せる fact3: この大時計は逆上せる fact4: この大名は聞こえ難い fact5: その同時代人は巻き起こるし更に睨む fact6: その同時代人は上納する fact7: その同時代人は保障し合う fact8: その同時代人はむず痒い fact9: この電路は得難くておまけに逆上せる fact10: むず痒くない物は空々しいということはない fact11: その同時代人は地域開発である fact12: この御夕食は逆上せる fact13: その商工は色調整でない一方で逆上せる fact14: もしその同時代人が群発頭痛ならば空々しい fact15: もしむず痒くないものが群発頭痛だとすればそれは逆上せる fact16: 仮にその腐敗分子は会衆だとしたら「逆上せるということはなくておまけに聞こえ難いということはない」ということは誤っている fact17: あの君主論は逆上せる fact18: 「その同時代人は空々しかない」ということは本当である fact19: なんらかのものは群発頭痛でないけどむず痒いならば聞こえ難い fact20: この運用状況は空々しい fact21: その艫は群発頭痛だとすると「聞こえ難い一方で空々しいということはない」ということは嘘だ fact22: 「「烏口鎖骨間でないしさらに憎しということはない」ということは間違いである」ものはある fact23: もし仮にその同時代人が国際試合でないけどそれが空々しいとすれば統御する fact24: その女性性は聞こえ難い fact25: その同時代人はエクストレムだ fact26: このシフトＪＩＳは聞こえ難い
void -> assump1: 以下のように仮定する。その同時代人は群発頭痛だ; fact14 & assump1 -> int1: その同時代人は空々しい; int1 & fact18 -> int2: これは矛盾である; [assump1] & int2 -> int3: その同時代人は群発頭痛でない; int3 & fact8 -> int4: その同時代人は群発頭痛だということはないけどむず痒い; fact19 -> int5: もしもその同時代人は群発頭痛でないけれどむず痒いとすると聞こえ難い; int4 & int5 -> int6: その同時代人は聞こえ難い; int6 & fact2 -> hypothesis;
その腐敗分子は群発頭痛だ
fact27 -> int7: もしもその腐敗分子がむず痒くないとすれば空々しかない;
$facts$ = fact1: 「その艫はむず痒いけど会衆でない」ということは事実と異なる fact2: その同時代人は逆上せる fact3: この大時計は逆上せる fact4: この大名は聞こえ難い fact5: その同時代人は巻き起こるし更に睨む fact6: その同時代人は上納する fact7: その同時代人は保障し合う fact8: その同時代人はむず痒い fact9: この電路は得難くておまけに逆上せる fact10: むず痒くない物は空々しいということはない fact11: その同時代人は地域開発である fact12: この御夕食は逆上せる fact13: その商工は色調整でない一方で逆上せる fact14: もしその同時代人が群発頭痛ならば空々しい fact15: もしむず痒くないものが群発頭痛だとすればそれは逆上せる fact16: 仮にその腐敗分子は会衆だとしたら「逆上せるということはなくておまけに聞こえ難いということはない」ということは誤っている fact17: あの君主論は逆上せる fact18: 「その同時代人は空々しかない」ということは本当である fact19: なんらかのものは群発頭痛でないけどむず痒いならば聞こえ難い fact20: この運用状況は空々しい fact21: その艫は群発頭痛だとすると「聞こえ難い一方で空々しいということはない」ということは嘘だ fact22: 「「烏口鎖骨間でないしさらに憎しということはない」ということは間違いである」ものはある fact23: もし仮にその同時代人が国際試合でないけどそれが空々しいとすれば統御する fact24: その女性性は聞こえ難い fact25: その同時代人はエクストレムだ fact26: このシフトＪＩＳは聞こえ難い ; $hypothesis$ = その同時代人は聞こえ難いしその上逆上せる ; $proof$ = 
void -> assump1: 以下のように仮定する。その同時代人は群発頭痛だ; fact14 & assump1 -> int1: その同時代人は空々しい; int1 & fact18 -> int2: これは矛盾である; [assump1] & int2 -> int3: その同時代人は群発頭痛でない; int3 & fact8 -> int4: その同時代人は群発頭痛だということはないけどむず痒い; fact19 -> int5: もしもその同時代人は群発頭痛でないけれどむず痒いとすると聞こえ難い; int4 & int5 -> int6: その同時代人は聞こえ難い; int6 & fact2 -> hypothesis; __PROVED__
事実1: 「その艫はむず痒いけど会衆でない」ということは事実と異なる
事実2: その同時代人は逆上せる
事実3: この大時計は逆上せる
事実4: この大名は聞こえ難い
事実5: その同時代人は巻き起こるし更に睨む
事実6: その同時代人は上納する
事実7: その同時代人は保障し合う
事実8: その同時代人はむず痒い
事実9: この電路は得難くておまけに逆上せる
事実10: むず痒くない物は空々しいということはない
事実11: その同時代人は地域開発である
事実12: この御夕食は逆上せる
事実13: その商工は色調整でない一方で逆上せる
事実14: もしその同時代人が群発頭痛ならば空々しい
事実15: もしむず痒くないものが群発頭痛だとすればそれは逆上せる
事実16: 仮にその腐敗分子は会衆だとしたら「逆上せるということはなくておまけに聞こえ難いということはない」ということは誤っている
事実17: あの君主論は逆上せる
事実18: 「その同時代人は空々しかない」ということは本当である
事実19: なんらかのものは群発頭痛でないけどむず痒いならば聞こえ難い
事実20: この運用状況は空々しい
事実21: その艫は群発頭痛だとすると「聞こえ難い一方で空々しいということはない」ということは嘘だ
事実22: 「「烏口鎖骨間でないしさらに憎しということはない」ということは間違いである」ものはある
事実23: もし仮にその同時代人が国際試合でないけどそれが空々しいとすれば統御する
事実24: その女性性は聞こえ難い
事実25: その同時代人はエクストレムだ
事実26: このシフトＪＩＳは聞こえ難い

仮説: その同時代人は聞こえ難いしその上逆上せる
1. 仮定1: 以下のように仮定する。その同時代人は群発頭痛だ
2. 事実14と仮定1から、推論1: "その同時代人は空々しい"が導かれる
3. 推論1と事実18から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その同時代人は群発頭痛でない"が導かれる
5. 推論3と事実8から、推論4: "その同時代人は群発頭痛だということはないけどむず痒い"が導かれる
6. 事実19から、推論5: "もしもその同時代人は群発頭痛でないけれどむず痒いとすると聞こえ難い"が導かれる
7. 推論4と推論5から、推論6: "その同時代人は聞こえ難い"が導かれる
8. 推論6と事実2から、仮説が導かれる

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