「「「御立腹であるとすると「父親らしくないものであってその上買い物でない」ということは嘘な」物はある」ということは成り立つ」ということは間違いである
fact1: あの釣り合いは座れる fact2: この軽食堂は日暮れるししかも閑却する fact3: もしもあの再生／停止は御立腹なら「父親らしいけれど買い物でない」ということは誤りである fact4: もし仮にあの再生／停止は御立腹であるとすると父親らしいということはなくてかつ買い物でない fact5: もしもあの再生／停止は御立腹であるし加えて御止めに成るとしたら座れるということはない fact6: 「もし御立腹であるとすると「父親らしくないし買い物だ」ということは間違いな」ものはある fact7: 「あの可能性は御立腹でないけど幼けない」ということは偽だ fact8: あの再生／停止は御止めに成る fact9: もし仮にあの再生／停止は座れるということはないなら「父親らしくないしかつそれは買い物でない」ということは成り立たない fact10: あの再生／停止はせかせかしない fact11: もしとある物はダウンバージョンだとしたら「大使館等でなくてまた面倒臭いということはない」ということは確かでない fact12: その内面化は御止めに成る fact13: 「もし「父親らしい」ということは成り立つとすると「買い物であるし座れない」ということは誤りな」物はある fact14: 「あの再生／停止は父親らしいがしかし買い物でない」ということは嘘である fact15: もし仮に「あの再生／停止は留置する」ということは成り立つなら「座れるしその上それは開催出来ない」ということは成り立たない fact16: 「「仮に「御立腹である」ということは確かであるならば父親らしいということはなくて更に買い物でない」ものはある」ということは確かである
void -> assump1: 以下のように仮定する。「あの再生／停止は御立腹である」ということは真実である; assump1 & fact8 -> int1: あの再生／停止は御立腹であるし御止めに成る; int1 & fact5 -> int2: あの再生／停止は座れない; int2 & fact9 -> int3: 「あの再生／停止は父親らしくないしその上買い物でない」ということは成り立たない; [assump1] & int3 -> int4: もしもあの再生／停止は御立腹だとすると「父親らしいということはないししかも買い物でない」ということは間違いだ; int4 -> hypothesis;
「もしもダウンバージョンであるとすると「大使館等でないしまた面倒臭くない」ということは偽である」ものはある
fact17 -> int5: 仮にあの再生／停止はダウンバージョンであるなら「それは大使館等でなくて面倒臭くない」ということは成り立たない; int5 -> hypothesis;
$facts$ = fact1: あの釣り合いは座れる fact2: この軽食堂は日暮れるししかも閑却する fact3: もしもあの再生／停止は御立腹なら「父親らしいけれど買い物でない」ということは誤りである fact4: もし仮にあの再生／停止は御立腹であるとすると父親らしいということはなくてかつ買い物でない fact5: もしもあの再生／停止は御立腹であるし加えて御止めに成るとしたら座れるということはない fact6: 「もし御立腹であるとすると「父親らしくないし買い物だ」ということは間違いな」ものはある fact7: 「あの可能性は御立腹でないけど幼けない」ということは偽だ fact8: あの再生／停止は御止めに成る fact9: もし仮にあの再生／停止は座れるということはないなら「父親らしくないしかつそれは買い物でない」ということは成り立たない fact10: あの再生／停止はせかせかしない fact11: もしとある物はダウンバージョンだとしたら「大使館等でなくてまた面倒臭いということはない」ということは確かでない fact12: その内面化は御止めに成る fact13: 「もし「父親らしい」ということは成り立つとすると「買い物であるし座れない」ということは誤りな」物はある fact14: 「あの再生／停止は父親らしいがしかし買い物でない」ということは嘘である fact15: もし仮に「あの再生／停止は留置する」ということは成り立つなら「座れるしその上それは開催出来ない」ということは成り立たない fact16: 「「仮に「御立腹である」ということは確かであるならば父親らしいということはなくて更に買い物でない」ものはある」ということは確かである ; $hypothesis$ = 「「「御立腹であるとすると「父親らしくないものであってその上買い物でない」ということは嘘な」物はある」ということは成り立つ」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの再生／停止は御立腹である」ということは真実である; assump1 & fact8 -> int1: あの再生／停止は御立腹であるし御止めに成る; int1 & fact5 -> int2: あの再生／停止は座れない; int2 & fact9 -> int3: 「あの再生／停止は父親らしくないしその上買い物でない」ということは成り立たない; [assump1] & int3 -> int4: もしもあの再生／停止は御立腹だとすると「父親らしいということはないししかも買い物でない」ということは間違いだ; int4 -> hypothesis; __DISPROVED__
事実1: あの釣り合いは座れる
事実2: この軽食堂は日暮れるししかも閑却する
事実3: もしもあの再生／停止は御立腹なら「父親らしいけれど買い物でない」ということは誤りである
事実4: もし仮にあの再生／停止は御立腹であるとすると父親らしいということはなくてかつ買い物でない
事実5: もしもあの再生／停止は御立腹であるし加えて御止めに成るとしたら座れるということはない
事実6: 「もし御立腹であるとすると「父親らしくないし買い物だ」ということは間違いな」ものはある
事実7: 「あの可能性は御立腹でないけど幼けない」ということは偽だ
事実8: あの再生／停止は御止めに成る
事実9: もし仮にあの再生／停止は座れるということはないなら「父親らしくないしかつそれは買い物でない」ということは成り立たない
事実10: あの再生／停止はせかせかしない
事実11: もしとある物はダウンバージョンだとしたら「大使館等でなくてまた面倒臭いということはない」ということは確かでない
事実12: その内面化は御止めに成る
事実13: 「もし「父親らしい」ということは成り立つとすると「買い物であるし座れない」ということは誤りな」物はある
事実14: 「あの再生／停止は父親らしいがしかし買い物でない」ということは嘘である
事実15: もし仮に「あの再生／停止は留置する」ということは成り立つなら「座れるしその上それは開催出来ない」ということは成り立たない
事実16: 「「仮に「御立腹である」ということは確かであるならば父親らしいということはなくて更に買い物でない」ものはある」ということは確かである

仮説: 「「「御立腹であるとすると「父親らしくないものであってその上買い物でない」ということは嘘な」物はある」ということは成り立つ」ということは間違いである
1. 仮定1: 以下のように仮定する。「あの再生／停止は御立腹である」ということは真実である
2. 仮定1と事実8から、推論1: "あの再生／停止は御立腹であるし御止めに成る"が導かれる
3. 推論1と事実5から、推論2: "あの再生／停止は座れない"が導かれる
4. 推論2と事実9から、推論3: "「あの再生／停止は父親らしくないしその上買い物でない」ということは成り立たない"が導かれる
5. [仮定1]と推論3から、推論4: "もしもあの再生／停止は御立腹だとすると「父親らしいということはないししかも買い物でない」ということは間違いだ"が導かれる
6. 推論4から、仮説が否定される

よって、仮説が否定されました。