仮にこのナイトローブが潔しとしたらこの荷物運びは関する
fact1: 首尾良い物は感じ過ぎる fact2: もし仮に「このフィッツは関するかあるいは入港であるか両方ともである」ということは間違いなら「分厚くない」ということは成り立つ fact3: 「このフィッツは遜色無いし首尾良い」ということは間違っている fact4: このフィッツはのんであるとすると「それは遜色無いしその上首尾良い」ということは成り立たない fact5: 仮にこのフィッツが感じ過ぎるかあるいはそれが分厚くないならこの荷物運びは関する fact6: 「この史上最高は解き放すけれど待ちでない」ということは間違っている fact7: 仮にこのフィッツは分厚いならば「それは潔し一方で関しない」ということは成り立たない fact8: 分厚くないものは感じ過ぎるかあるいは首尾良くないか両方ともである fact9: 「このフィッツは潔し」ということは成り立つ fact10: なにかはのんであるなら「遜色無いけど首尾良いということはない」ということは間違っている fact11: もしある物はのんであるとすると「遜色無くて首尾良い」ということは偽だ fact12: この荷物運びはのんである fact13: もしこのナイトローブが潔しとするとこのフィッツはのんだ fact14: もしもこのフィッツは首尾良いとすると「それは感じ過ぎるけど潔しない」ということは偽である fact15: もしもこのフィッツが分厚くないとするとこの荷物運びは関する fact16: もしもこのフィッツは首尾良いとしたら「感じ過ぎる」ということは成り立つ fact17: このナイトローブは感じ過ぎる fact18: もし仮に「あの映画統制は感じ過ぎるが重苦しくない」ということは偽であるとすればそれは考慮す fact19: 「何らかの物は遜色無いがしかし首尾良くない」ということは誤っているとしたら感じ過ぎる fact20: このフィッツは感じ過ぎるかまたは分厚い fact21: 仮に「なにがしかのものはのんだということはない」ということは事実だとすると遜色無いしまた潔し
void -> assump1: 以下のように仮定する。このナイトローブは潔し; fact13 & assump1 -> int1: このフィッツはのんである; fact10 -> int2: もしもこのフィッツはのんであるならば「遜色無い一方で首尾良くない」ということは事実と異なる; int1 & int2 -> int3: 「「このフィッツは遜色無いがしかし首尾良くない」ということは誤っている」ということは真実だ; fact19 -> int4: 「このフィッツは遜色無いけど首尾良くない」ということは成り立たないならそれは感じ過ぎる; int3 & int4 -> int5: このフィッツは感じ過ぎる; int5 -> int6: このフィッツは感じ過ぎるかもしくは分厚くないかまたはどちらもである; int6 & fact5 -> int7: この荷物運びは関する; [assump1] & int7 -> hypothesis;
このナイトローブは遜色無い
fact24 -> int8: もし仮にこのナイトローブがのんでないとしたらそれは遜色無くておまけに潔し; fact23 -> int9: このフィッツが分厚くないとすると感じ過ぎるかそれは首尾良くないかもしくは両方ともである;
$facts$ = fact1: 首尾良い物は感じ過ぎる fact2: もし仮に「このフィッツは関するかあるいは入港であるか両方ともである」ということは間違いなら「分厚くない」ということは成り立つ fact3: 「このフィッツは遜色無いし首尾良い」ということは間違っている fact4: このフィッツはのんであるとすると「それは遜色無いしその上首尾良い」ということは成り立たない fact5: 仮にこのフィッツが感じ過ぎるかあるいはそれが分厚くないならこの荷物運びは関する fact6: 「この史上最高は解き放すけれど待ちでない」ということは間違っている fact7: 仮にこのフィッツは分厚いならば「それは潔し一方で関しない」ということは成り立たない fact8: 分厚くないものは感じ過ぎるかあるいは首尾良くないか両方ともである fact9: 「このフィッツは潔し」ということは成り立つ fact10: なにかはのんであるなら「遜色無いけど首尾良いということはない」ということは間違っている fact11: もしある物はのんであるとすると「遜色無くて首尾良い」ということは偽だ fact12: この荷物運びはのんである fact13: もしこのナイトローブが潔しとするとこのフィッツはのんだ fact14: もしもこのフィッツは首尾良いとすると「それは感じ過ぎるけど潔しない」ということは偽である fact15: もしもこのフィッツが分厚くないとするとこの荷物運びは関する fact16: もしもこのフィッツは首尾良いとしたら「感じ過ぎる」ということは成り立つ fact17: このナイトローブは感じ過ぎる fact18: もし仮に「あの映画統制は感じ過ぎるが重苦しくない」ということは偽であるとすればそれは考慮す fact19: 「何らかの物は遜色無いがしかし首尾良くない」ということは誤っているとしたら感じ過ぎる fact20: このフィッツは感じ過ぎるかまたは分厚い fact21: 仮に「なにがしかのものはのんだということはない」ということは事実だとすると遜色無いしまた潔し ; $hypothesis$ = 仮にこのナイトローブが潔しとしたらこの荷物運びは関する ; $proof$ = 
void -> assump1: 以下のように仮定する。このナイトローブは潔し; fact13 & assump1 -> int1: このフィッツはのんである; fact10 -> int2: もしもこのフィッツはのんであるならば「遜色無い一方で首尾良くない」ということは事実と異なる; int1 & int2 -> int3: 「「このフィッツは遜色無いがしかし首尾良くない」ということは誤っている」ということは真実だ; fact19 -> int4: 「このフィッツは遜色無いけど首尾良くない」ということは成り立たないならそれは感じ過ぎる; int3 & int4 -> int5: このフィッツは感じ過ぎる; int5 -> int6: このフィッツは感じ過ぎるかもしくは分厚くないかまたはどちらもである; int6 & fact5 -> int7: この荷物運びは関する; [assump1] & int7 -> hypothesis; __PROVED__
事実1: 首尾良い物は感じ過ぎる
事実2: もし仮に「このフィッツは関するかあるいは入港であるか両方ともである」ということは間違いなら「分厚くない」ということは成り立つ
事実3: 「このフィッツは遜色無いし首尾良い」ということは間違っている
事実4: このフィッツはのんであるとすると「それは遜色無いしその上首尾良い」ということは成り立たない
事実5: 仮にこのフィッツが感じ過ぎるかあるいはそれが分厚くないならこの荷物運びは関する
事実6: 「この史上最高は解き放すけれど待ちでない」ということは間違っている
事実7: 仮にこのフィッツは分厚いならば「それは潔し一方で関しない」ということは成り立たない
事実8: 分厚くないものは感じ過ぎるかあるいは首尾良くないか両方ともである
事実9: 「このフィッツは潔し」ということは成り立つ
事実10: なにかはのんであるなら「遜色無いけど首尾良いということはない」ということは間違っている
事実11: もしある物はのんであるとすると「遜色無くて首尾良い」ということは偽だ
事実12: この荷物運びはのんである
事実13: もしこのナイトローブが潔しとするとこのフィッツはのんだ
事実14: もしもこのフィッツは首尾良いとすると「それは感じ過ぎるけど潔しない」ということは偽である
事実15: もしもこのフィッツが分厚くないとするとこの荷物運びは関する
事実16: もしもこのフィッツは首尾良いとしたら「感じ過ぎる」ということは成り立つ
事実17: このナイトローブは感じ過ぎる
事実18: もし仮に「あの映画統制は感じ過ぎるが重苦しくない」ということは偽であるとすればそれは考慮す
事実19: 「何らかの物は遜色無いがしかし首尾良くない」ということは誤っているとしたら感じ過ぎる
事実20: このフィッツは感じ過ぎるかまたは分厚い
事実21: 仮に「なにがしかのものはのんだということはない」ということは事実だとすると遜色無いしまた潔し

仮説: 仮にこのナイトローブが潔しとしたらこの荷物運びは関する
1. 仮定1: 以下のように仮定する。このナイトローブは潔し
2. 事実13と仮定1から、推論1: "このフィッツはのんである"が導かれる
3. 事実10から、推論2: "もしもこのフィッツはのんであるならば「遜色無い一方で首尾良くない」ということは事実と異なる"が導かれる
4. 推論1と推論2から、推論3: "「「このフィッツは遜色無いがしかし首尾良くない」ということは誤っている」ということは真実だ"が導かれる
5. 事実19から、推論4: "「このフィッツは遜色無いけど首尾良くない」ということは成り立たないならそれは感じ過ぎる"が導かれる
6. 推論3と推論4から、推論5: "このフィッツは感じ過ぎる"が導かれる
7. 推論5から、推論6: "このフィッツは感じ過ぎるかもしくは分厚くないかまたはどちらもである"が導かれる
8. 推論6と事実5から、推論7: "この荷物運びは関する"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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