この石鹸滓は格好悪い
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: 以下のように仮定する。「この石鹸滓は格好悪いということはない」ということは成り立つ; fact12 & assump1 -> int1: あの宿泊設備は昼飯でない; int1 & fact13 -> int2: 「あの宿泊設備は比喩しなくてそれに驚嘆すらない」ということは確かであるということはない; int2 & fact10 -> int3: この描かれ方は入浴後だ; int3 & fact24 -> int4: 「この描かれ方は住み良いけれど悪心・嘔吐でない」ということは成り立たない; int4 & fact26 -> int5: この無銭飲食は農業大学だ; int5 & fact7 -> int6: この無銭飲食は当て付けがましい; int6 & fact22 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
この石鹸滓は格好悪くない
$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: 以下のように仮定する。「この石鹸滓は格好悪いということはない」ということは成り立つ; fact12 & assump1 -> int1: あの宿泊設備は昼飯でない; int1 & fact13 -> int2: 「あの宿泊設備は比喩しなくてそれに驚嘆すらない」ということは確かであるということはない; int2 & fact10 -> int3: この描かれ方は入浴後だ; int3 & fact24 -> int4: 「この描かれ方は住み良いけれど悪心・嘔吐でない」ということは成り立たない; int4 & fact26 -> int5: この無銭飲食は農業大学だ; int5 & fact7 -> int6: この無銭飲食は当て付けがましい; int6 & fact22 -> 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: この描かれ方は崩れ易い
事実22: 「この無銭飲食が当て付けはましくらない」ということは確かだ
事実23: もし仮にこの描かれ方は驚嘆すとすれば「農業大学だし悪心・嘔吐でない」ということは成り立たない
事実24: もし仮にこの描かれ方は入浴後だとすれば「それは住み良いけど悪心・嘔吐でない」ということは成り立たない
事実25: 「あの宿泊設備は比喩しないが驚嘆す」ということは間違っている
事実26: もしも「この描かれ方は住み良いけど悪心・嘔吐でない」ということは偽ならばあの無銭飲食は農業大学である

仮説: この石鹸滓は格好悪い
1. 仮定1: 以下のように仮定する。「この石鹸滓は格好悪いということはない」ということは成り立つ
2. 事実12と仮定1から、推論1: "あの宿泊設備は昼飯でない"が導かれる
3. 推論1と事実13から、推論2: "「あの宿泊設備は比喩しなくてそれに驚嘆すらない」ということは確かであるということはない"が導かれる
4. 推論2と事実10から、推論3: "この描かれ方は入浴後だ"が導かれる
5. 推論3と事実24から、推論4: "「この描かれ方は住み良いけれど悪心・嘔吐でない」ということは成り立たない"が導かれる
6. 推論4と事実26から、推論5: "この無銭飲食は農業大学だ"が導かれる
7. 推論5と事実7から、推論6: "この無銭飲食は当て付けがましい"が導かれる
8. 推論6と事実22から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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