「あの商社等は見落とせるし更に開園時間である」ということは成り立たない
fact1: もし仮にあの商社等は見落とせないならば「そのフォー・シーズン・ズは見落とせるし開園時間だ」ということは偽だ fact2: 仮に「違える」物があるならそのフォー・シーズン・ズは見落とせない fact3: 「なにかは厚生白書で更にすんごい」ということは嘘だとしたら「それは違えるということはない」ということは本当である fact4: 「違える」ものはある fact5: もしもあの諸協会が厚生白書ならばあのフォー・シーズン・ズはすんごくないけれど違える fact6: もし仮にあの商社等は見落とせないとすれば「そのフォー・シーズン・ズは違えるし開園時間だ」ということは偽だ fact7: もしもそのフォー・シーズン・ズは見落とせるということはないならば「あの商社等は見落とせるしそれに開園時間だ」ということは嘘である fact8: とある物が違えればそれは開園時間である fact9: もしあの交配前後が割り当てるとしたらあの諸協会は厚生白書である fact10: もしそのフォー・シーズン・ズがすんごいということはない一方で違えるならあの商社等は違える fact11: この前段階は切り開けるしその上見落とせる fact12: もしも何らかのものは割り当てないならば「それは厚生白書だしすんごい」ということは間違いである fact13: 仮にこの前段階が見落とせるならばあの商社等は見落とせる fact14: もしも「そのフォー・シーズン・ズは違えるしおまけに開園時間である」ということは成り立つということはないならば違えらない fact15: 「何らかのものは切り開けるが例外無くない」ということは間違っているとするとそれは割り当てない fact16: 「見落とせる」ものがあるとするとそのフォー・シーズン・ズは開園時間でない
fact4 & fact2 -> int1: そのフォー・シーズン・ズは見落とせない; int1 & fact7 -> hypothesis;
fact4 & fact2 -> int1: ¬{B}{a}; int1 & fact7 -> hypothesis;
あの商社等は見落とせるし開園時間だ
fact20 -> int2: この前段階は見落とせる; fact22 & int2 -> int3: あの商社等は見落とせる; fact18 -> int4: もしもあの商社等は違えるとしたら「それは開園時間である」ということは確かである;
$facts$ = fact1: もし仮にあの商社等は見落とせないならば「そのフォー・シーズン・ズは見落とせるし開園時間だ」ということは偽だ fact2: 仮に「違える」物があるならそのフォー・シーズン・ズは見落とせない fact3: 「なにかは厚生白書で更にすんごい」ということは嘘だとしたら「それは違えるということはない」ということは本当である fact4: 「違える」ものはある fact5: もしもあの諸協会が厚生白書ならばあのフォー・シーズン・ズはすんごくないけれど違える fact6: もし仮にあの商社等は見落とせないとすれば「そのフォー・シーズン・ズは違えるし開園時間だ」ということは偽だ fact7: もしもそのフォー・シーズン・ズは見落とせるということはないならば「あの商社等は見落とせるしそれに開園時間だ」ということは嘘である fact8: とある物が違えればそれは開園時間である fact9: もしあの交配前後が割り当てるとしたらあの諸協会は厚生白書である fact10: もしそのフォー・シーズン・ズがすんごいということはない一方で違えるならあの商社等は違える fact11: この前段階は切り開けるしその上見落とせる fact12: もしも何らかのものは割り当てないならば「それは厚生白書だしすんごい」ということは間違いである fact13: 仮にこの前段階が見落とせるならばあの商社等は見落とせる fact14: もしも「そのフォー・シーズン・ズは違えるしおまけに開園時間である」ということは成り立つということはないならば違えらない fact15: 「何らかのものは切り開けるが例外無くない」ということは間違っているとするとそれは割り当てない fact16: 「見落とせる」ものがあるとするとそのフォー・シーズン・ズは開園時間でない ; $hypothesis$ = 「あの商社等は見落とせるし更に開園時間である」ということは成り立たない ; $proof$ = 
fact4 & fact2 -> int1: そのフォー・シーズン・ズは見落とせない; int1 & fact7 -> hypothesis; __PROVED__
事実1: もし仮にあの商社等は見落とせないならば「そのフォー・シーズン・ズは見落とせるし開園時間だ」ということは偽だ
事実2: 仮に「違える」物があるならそのフォー・シーズン・ズは見落とせない
事実3: 「なにかは厚生白書で更にすんごい」ということは嘘だとしたら「それは違えるということはない」ということは本当である
事実4: 「違える」ものはある
事実5: もしもあの諸協会が厚生白書ならばあのフォー・シーズン・ズはすんごくないけれど違える
事実6: もし仮にあの商社等は見落とせないとすれば「そのフォー・シーズン・ズは違えるし開園時間だ」ということは偽だ
事実7: もしもそのフォー・シーズン・ズは見落とせるということはないならば「あの商社等は見落とせるしそれに開園時間だ」ということは嘘である
事実8: とある物が違えればそれは開園時間である
事実9: もしあの交配前後が割り当てるとしたらあの諸協会は厚生白書である
事実10: もしそのフォー・シーズン・ズがすんごいということはない一方で違えるならあの商社等は違える
事実11: この前段階は切り開けるしその上見落とせる
事実12: もしも何らかのものは割り当てないならば「それは厚生白書だしすんごい」ということは間違いである
事実13: 仮にこの前段階が見落とせるならばあの商社等は見落とせる
事実14: もしも「そのフォー・シーズン・ズは違えるしおまけに開園時間である」ということは成り立つということはないならば違えらない
事実15: 「何らかのものは切り開けるが例外無くない」ということは間違っているとするとそれは割り当てない
事実16: 「見落とせる」ものがあるとするとそのフォー・シーズン・ズは開園時間でない

仮説: 「あの商社等は見落とせるし更に開園時間である」ということは成り立たない
1. 事実4と事実2から、推論1: "そのフォー・シーズン・ズは見落とせない"が導かれる
2. 推論1と事実7から、仮説が導かれる

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