「「もしも「姉ちゃん達でないしまたＵボート群でない」ということは嘘であるなら抱ける」物はある」ということは成り立つということはない
fact1: とあるものがＵボート群ならば抱ける fact2: もしも「あの老婆心は姉ちゃん達だ一方でＵボート群でない」ということは成り立たないとするとそれは抱ける fact3: 「仮に「参上する一方で傷付き易いということはない」ということは嘘だとしたら障害部である」ものはある fact4: 「とあるものは踏み切らないしフォーカスしない」ということは成り立たないならそれは疾し fact5: 「もし仮になあいとすると息苦しい」ものはある fact6: 仮に「この平伏はＵボート群でないしその上餓鬼っぽいということはない」ということは事実と異なるとすれば造成する fact7: 仮に「とあるものは姉ちゃん達だけれどＵボート群でない」ということは事実と異なるとすれば抱ける fact8: 「「仮にＵボート群ならば抱ける」ものはある」ということは事実だ fact9: もしあの老婆心は姉ちゃん達でなくてかつＵボート群であるということはないとすれば抱ける fact10: あの老婆心がＵボート群だとするとそれは抱ける fact11: もし仮にあるものが姉ちゃん達でなくて更にそれはＵボート群でないとしたらそれは抱ける fact12: 「もし「姉ちゃん達だしＵボート群でない」ということは成り立たないなら「抱ける」ということは正しい」物はある fact13: 「もし「姉ちゃん達でなくておまけにＵボート群でない」ということは真実であるなら抱ける」物はある fact14: もしも「なにがしかの物は姉ちゃん達でなくてそれはＵボート群でない」ということは成り立たないならば抱ける
fact14 -> int1: 「あの老婆心は姉ちゃん達でなくてＵボート群でない」ということは事実と異なるとすると抱ける; int1 -> hypothesis;
「もしも「踏み切らなくて加えてフォーカスするということはない」ということは成り立たないなら疾し」ものはある
fact15 -> int2: もしも「この宿屋は踏み切らないしそれにフォーカスしない」ということは正しくないとすれば疾し; int2 -> hypothesis;
$facts$ = fact1: とあるものがＵボート群ならば抱ける fact2: もしも「あの老婆心は姉ちゃん達だ一方でＵボート群でない」ということは成り立たないとするとそれは抱ける fact3: 「仮に「参上する一方で傷付き易いということはない」ということは嘘だとしたら障害部である」ものはある fact4: 「とあるものは踏み切らないしフォーカスしない」ということは成り立たないならそれは疾し fact5: 「もし仮になあいとすると息苦しい」ものはある fact6: 仮に「この平伏はＵボート群でないしその上餓鬼っぽいということはない」ということは事実と異なるとすれば造成する fact7: 仮に「とあるものは姉ちゃん達だけれどＵボート群でない」ということは事実と異なるとすれば抱ける fact8: 「「仮にＵボート群ならば抱ける」ものはある」ということは事実だ fact9: もしあの老婆心は姉ちゃん達でなくてかつＵボート群であるということはないとすれば抱ける fact10: あの老婆心がＵボート群だとするとそれは抱ける fact11: もし仮にあるものが姉ちゃん達でなくて更にそれはＵボート群でないとしたらそれは抱ける fact12: 「もし「姉ちゃん達だしＵボート群でない」ということは成り立たないなら「抱ける」ということは正しい」物はある fact13: 「もし「姉ちゃん達でなくておまけにＵボート群でない」ということは真実であるなら抱ける」物はある fact14: もしも「なにがしかの物は姉ちゃん達でなくてそれはＵボート群でない」ということは成り立たないならば抱ける ; $hypothesis$ = 「「もしも「姉ちゃん達でないしまたＵボート群でない」ということは嘘であるなら抱ける」物はある」ということは成り立つということはない ; $proof$ = 
fact14 -> int1: 「あの老婆心は姉ちゃん達でなくてＵボート群でない」ということは事実と異なるとすると抱ける; int1 -> hypothesis; __DISPROVED__
事実1: とあるものがＵボート群ならば抱ける
事実2: もしも「あの老婆心は姉ちゃん達だ一方でＵボート群でない」ということは成り立たないとするとそれは抱ける
事実3: 「仮に「参上する一方で傷付き易いということはない」ということは嘘だとしたら障害部である」ものはある
事実4: 「とあるものは踏み切らないしフォーカスしない」ということは成り立たないならそれは疾し
事実5: 「もし仮になあいとすると息苦しい」ものはある
事実6: 仮に「この平伏はＵボート群でないしその上餓鬼っぽいということはない」ということは事実と異なるとすれば造成する
事実7: 仮に「とあるものは姉ちゃん達だけれどＵボート群でない」ということは事実と異なるとすれば抱ける
事実8: 「「仮にＵボート群ならば抱ける」ものはある」ということは事実だ
事実9: もしあの老婆心は姉ちゃん達でなくてかつＵボート群であるということはないとすれば抱ける
事実10: あの老婆心がＵボート群だとするとそれは抱ける
事実11: もし仮にあるものが姉ちゃん達でなくて更にそれはＵボート群でないとしたらそれは抱ける
事実12: 「もし「姉ちゃん達だしＵボート群でない」ということは成り立たないなら「抱ける」ということは正しい」物はある
事実13: 「もし「姉ちゃん達でなくておまけにＵボート群でない」ということは真実であるなら抱ける」物はある
事実14: もしも「なにがしかの物は姉ちゃん達でなくてそれはＵボート群でない」ということは成り立たないならば抱ける

仮説: 「「もしも「姉ちゃん達でないしまたＵボート群でない」ということは嘘であるなら抱ける」物はある」ということは成り立つということはない
1. 事実14から、推論1: "「あの老婆心は姉ちゃん達でなくてＵボート群でない」ということは事実と異なるとすると抱ける"が導かれる
2. 推論1から、仮説が否定される

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