その四十三図は判別し難くないけれど大きい
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: 仮に何かは記載例でないとすれば大后様であるがしかし入れ易くない fact27: もしも「その遊牧は重し」ということは成り立つとすればその四十三図は八・八・二十二判夕でない
fact2 -> int1: その遊牧は引き出し易い; int1 & fact15 -> int2: その四十三図は抗原検査陽性者である; fact23 -> int3: 仮にその四十三図が抗原検査陽性者だとするとそれは重し; int2 & int3 -> int4: その四十三図は重し; void -> assump1: 以下のように仮定する。その四十三図は分泌量である; int4 & assump1 -> int5: その四十三図は分泌量であるしおまけに重し; int5 & fact12 -> int6: その余暇は大后様でない; fact26 -> int7: もしもあの常時接続が記載例でないならそれは大后様であるしその上入れ易いということはない; int7 & fact3 -> int8: あの常時接続は大后様だ一方で入れ易くない; int8 & fact17 -> int9: その余暇は大后様だ; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: その四十三図は分泌量であるということはない; fact16 -> int12: 仮にその四十三図が分泌量でないとすればそれは判別し難くないし更にそれは大きい; int11 & int12 -> hypothesis;
「その四十三図は判別し難くないけれど大きい」ということは成り立たない
fact29 -> int13: その四十三図は引き出し易いとすれば「判別し難いということはないが大きい」ということは誤りである; fact32 -> int14: もしも「その四十三図は八・八・二十二判夕でない」ということは事実だとすると「抗原検査陽性者であるということはないし引き出し易いということはない」ということは正しくない;
$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: 仮に何かは記載例でないとすれば大后様であるがしかし入れ易くない fact27: もしも「その遊牧は重し」ということは成り立つとすればその四十三図は八・八・二十二判夕でない ; $hypothesis$ = その四十三図は判別し難くないけれど大きい ; $proof$ = 
fact2 -> int1: その遊牧は引き出し易い; int1 & fact15 -> int2: その四十三図は抗原検査陽性者である; fact23 -> int3: 仮にその四十三図が抗原検査陽性者だとするとそれは重し; int2 & int3 -> int4: その四十三図は重し; void -> assump1: 以下のように仮定する。その四十三図は分泌量である; int4 & assump1 -> int5: その四十三図は分泌量であるしおまけに重し; int5 & fact12 -> int6: その余暇は大后様でない; fact26 -> int7: もしもあの常時接続が記載例でないならそれは大后様であるしその上入れ易いということはない; int7 & fact3 -> int8: あの常時接続は大后様だ一方で入れ易くない; int8 & fact17 -> int9: その余暇は大后様だ; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: その四十三図は分泌量であるということはない; fact16 -> int12: 仮にその四十三図が分泌量でないとすればそれは判別し難くないし更にそれは大きい; int11 & int12 -> 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: 仮に何かは記載例でないとすれば大后様であるがしかし入れ易くない
事実27: もしも「その遊牧は重し」ということは成り立つとすればその四十三図は八・八・二十二判夕でない

仮説: その四十三図は判別し難くないけれど大きい
1. 事実2から、推論1: "その遊牧は引き出し易い"が導かれる
2. 推論1と事実15から、推論2: "その四十三図は抗原検査陽性者である"が導かれる
3. 事実23から、推論3: "仮にその四十三図が抗原検査陽性者だとするとそれは重し"が導かれる
4. 推論2と推論3から、推論4: "その四十三図は重し"が導かれる
5. 仮定1: 以下のように仮定する。その四十三図は分泌量である
6. 推論4と仮定1から、推論5: "その四十三図は分泌量であるしおまけに重し"が導かれる
7. 推論5と事実12から、推論6: "その余暇は大后様でない"が導かれる
8. 事実26から、推論7: "もしもあの常時接続が記載例でないならそれは大后様であるしその上入れ易いということはない"が導かれる
9. 推論7と事実3から、推論8: "あの常時接続は大后様だ一方で入れ易くない"が導かれる
10. 推論8と事実17から、推論9: "その余暇は大后様だ"が導かれる
11. 推論6と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "その四十三図は分泌量であるということはない"が導かれる
13. 事実16から、推論12: "仮にその四十三図が分泌量でないとすればそれは判別し難くないし更にそれは大きい"が導かれる
14. 推論11と推論12から、仮説が導かれる

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