仮にあの三笠書房が日帰り入浴でないとするとこの糖度は痩せっぽちだが怪しくない
fact1: 「この糖度は怪しくない」ということは本当だとすると「あの三笠書房は日帰り入浴だがしかし痩せっぽちでない」ということは成り立つ fact2: 「この糖度は怪しいけれど日帰り入浴でない」ということは成り立つ fact3: 「あの三笠書房は怪しい一方で日帰り入浴であるということはない」ということは成り立つということはない fact4: 仮にこの糖度が痩せっぽちでないとしたらあの三笠書房は日帰り入浴である fact5: あの雨曝しは痩せっぽちでない fact6: もしも「この糖度は痩せっぽちであるし怪しい」ということは成り立たないとしたらあの三笠書房は日帰り入浴である fact7: もしもあの三笠書房は痩せっぽちでないならば「この糖度は怪しい一方で日帰り入浴でない」ということは確かである fact8: もし仮に「あの三笠書房は日帰り入浴でない」ということは事実ならば「この糖度は痩せっぽちである」ということは間違っていない fact9: もし仮に「あの三笠書房は怪しいけれどそれは日帰り入浴でない」ということは成り立たないならば「この糖度は痩せっぽちだ」ということは成り立つ fact10: もしこの糖度が痩せっぽちだがしかしそれが怪しくないとしたらあの三笠書房は日帰り入浴である fact11: この糖度は痩せっぽちであるが日帰り入浴でない fact12: もし「この糖度は痩せっぽちでない」ということは本当ならば「あの三笠書房は日帰り入浴だ一方で怪しくない」ということは事実と異ならない fact13: この糖度は日帰り入浴だということはない fact14: この糖度は怪しい fact15: もし「この糖度は痩せっぽちだがしかし怪しくない」ということは嘘であるとしたらあの三笠書房は日帰り入浴である fact16: 仮に「「あの三笠書房は痩せっぽちであるけれどそれは怪しくない」ということは嘘だ」ということは本当であるとしたらこの糖度は日帰り入浴である fact17: その市餅は怪しい fact18: この糖度が痩せっぽちだししかもそれは怪しい fact19: 「この糖度は痩せっぽちである」ということは成り立つ fact20: この母液は怪しい
void -> assump1: 以下のように仮定する。「この糖度は痩せっぽちだがしかし怪しくない」ということは誤っている; fact15 & assump1 -> int1: あの三笠書房は日帰り入浴だ; void -> assump2: 以下のように仮定する。あの三笠書房は日帰り入浴でない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この糖度は痩せっぽちだがしかし怪しいということはない」ということは本当だ; [assump2] & int3 -> hypothesis;
$facts$ = fact1: 「この糖度は怪しくない」ということは本当だとすると「あの三笠書房は日帰り入浴だがしかし痩せっぽちでない」ということは成り立つ fact2: 「この糖度は怪しいけれど日帰り入浴でない」ということは成り立つ fact3: 「あの三笠書房は怪しい一方で日帰り入浴であるということはない」ということは成り立つということはない fact4: 仮にこの糖度が痩せっぽちでないとしたらあの三笠書房は日帰り入浴である fact5: あの雨曝しは痩せっぽちでない fact6: もしも「この糖度は痩せっぽちであるし怪しい」ということは成り立たないとしたらあの三笠書房は日帰り入浴である fact7: もしもあの三笠書房は痩せっぽちでないならば「この糖度は怪しい一方で日帰り入浴でない」ということは確かである fact8: もし仮に「あの三笠書房は日帰り入浴でない」ということは事実ならば「この糖度は痩せっぽちである」ということは間違っていない fact9: もし仮に「あの三笠書房は怪しいけれどそれは日帰り入浴でない」ということは成り立たないならば「この糖度は痩せっぽちだ」ということは成り立つ fact10: もしこの糖度が痩せっぽちだがしかしそれが怪しくないとしたらあの三笠書房は日帰り入浴である fact11: この糖度は痩せっぽちであるが日帰り入浴でない fact12: もし「この糖度は痩せっぽちでない」ということは本当ならば「あの三笠書房は日帰り入浴だ一方で怪しくない」ということは事実と異ならない fact13: この糖度は日帰り入浴だということはない fact14: この糖度は怪しい fact15: もし「この糖度は痩せっぽちだがしかし怪しくない」ということは嘘であるとしたらあの三笠書房は日帰り入浴である fact16: 仮に「「あの三笠書房は痩せっぽちであるけれどそれは怪しくない」ということは嘘だ」ということは本当であるとしたらこの糖度は日帰り入浴である fact17: その市餅は怪しい fact18: この糖度が痩せっぽちだししかもそれは怪しい fact19: 「この糖度は痩せっぽちである」ということは成り立つ fact20: この母液は怪しい ; $hypothesis$ = 仮にあの三笠書房が日帰り入浴でないとするとこの糖度は痩せっぽちだが怪しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この糖度は痩せっぽちだがしかし怪しくない」ということは誤っている; fact15 & assump1 -> int1: あの三笠書房は日帰り入浴だ; void -> assump2: 以下のように仮定する。あの三笠書房は日帰り入浴でない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この糖度は痩せっぽちだがしかし怪しいということはない」ということは本当だ; [assump2] & int3 -> hypothesis; __PROVED__
事実1: 「この糖度は怪しくない」ということは本当だとすると「あの三笠書房は日帰り入浴だがしかし痩せっぽちでない」ということは成り立つ
事実2: 「この糖度は怪しいけれど日帰り入浴でない」ということは成り立つ
事実3: 「あの三笠書房は怪しい一方で日帰り入浴であるということはない」ということは成り立つということはない
事実4: 仮にこの糖度が痩せっぽちでないとしたらあの三笠書房は日帰り入浴である
事実5: あの雨曝しは痩せっぽちでない
事実6: もしも「この糖度は痩せっぽちであるし怪しい」ということは成り立たないとしたらあの三笠書房は日帰り入浴である
事実7: もしもあの三笠書房は痩せっぽちでないならば「この糖度は怪しい一方で日帰り入浴でない」ということは確かである
事実8: もし仮に「あの三笠書房は日帰り入浴でない」ということは事実ならば「この糖度は痩せっぽちである」ということは間違っていない
事実9: もし仮に「あの三笠書房は怪しいけれどそれは日帰り入浴でない」ということは成り立たないならば「この糖度は痩せっぽちだ」ということは成り立つ
事実10: もしこの糖度が痩せっぽちだがしかしそれが怪しくないとしたらあの三笠書房は日帰り入浴である
事実11: この糖度は痩せっぽちであるが日帰り入浴でない
事実12: もし「この糖度は痩せっぽちでない」ということは本当ならば「あの三笠書房は日帰り入浴だ一方で怪しくない」ということは事実と異ならない
事実13: この糖度は日帰り入浴だということはない
事実14: この糖度は怪しい
事実15: もし「この糖度は痩せっぽちだがしかし怪しくない」ということは嘘であるとしたらあの三笠書房は日帰り入浴である
事実16: 仮に「「あの三笠書房は痩せっぽちであるけれどそれは怪しくない」ということは嘘だ」ということは本当であるとしたらこの糖度は日帰り入浴である
事実17: その市餅は怪しい
事実18: この糖度が痩せっぽちだししかもそれは怪しい
事実19: 「この糖度は痩せっぽちである」ということは成り立つ
事実20: この母液は怪しい

仮説: 仮にあの三笠書房が日帰り入浴でないとするとこの糖度は痩せっぽちだが怪しくない
1. 仮定1: 以下のように仮定する。「この糖度は痩せっぽちだがしかし怪しくない」ということは誤っている
2. 事実15と仮定1から、推論1: "あの三笠書房は日帰り入浴だ"が導かれる
3. 仮定2: 以下のように仮定する。あの三笠書房は日帰り入浴でない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「この糖度は痩せっぽちだがしかし怪しいということはない」ということは本当だ"が導かれる
6. [仮定2]と推論3から、仮説が導かれる

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