「あの車検は疾しがそれは虜囚でない」ということは間違っている
fact1: この癌治療法は承継側だ fact2: 「この癌治療法は性転換するがしかし介助しない」ということは嘘だ fact3: もしもなにがしかのものは承継側でないとしたらそれは疾しけど虜囚でない fact4: もしとある物は性転換しないならば「それは承継側であるしそれは鱶でない」ということは成り立つということはない fact5: 仮にこの癌治療法は虜囚だとしたら「あの車検は承継側で疾し」ということは偽である fact6: 「この癌治療法は承継側であるけど疾しない」ということは成り立たない fact7: 「仮にこの癌治療法は承継側だとすると「あの車検は疾ししそれに虜囚だ」ということは事実と異なる」ということは確かである fact8: 「あの車検は疾し」ということは正しいならば「この癌治療法は承継側で虜囚である」ということは成り立たない fact9: 「とある物は承継側であるがしかしそれは鱶でない」ということは誤りだとしたら承継側でない fact10: あの車検は承継側である fact11: この癌治療法は疾し fact12: あの車検はチェンジする fact13: この癌治療法は承継側だとすると「あの車検は疾しけれどそれは虜囚であるということはない」ということは嘘だ fact14: 「あの車検は疾しし虜囚である」ということは真実でない fact15: 「あの車検は承継側であるししかも虜囚だ」ということは成り立たない fact16: 「この縄張り意識は承継側だ」ということは事実である
fact13 & fact1 -> hypothesis;
fact13 & fact1 -> hypothesis;
あの車検は疾し一方で虜囚でない
fact17 -> int1: もし仮にあの車検が承継側だということはないなら疾ししそれは虜囚でない;
$facts$ = fact1: この癌治療法は承継側だ fact2: 「この癌治療法は性転換するがしかし介助しない」ということは嘘だ fact3: もしもなにがしかのものは承継側でないとしたらそれは疾しけど虜囚でない fact4: もしとある物は性転換しないならば「それは承継側であるしそれは鱶でない」ということは成り立つということはない fact5: 仮にこの癌治療法は虜囚だとしたら「あの車検は承継側で疾し」ということは偽である fact6: 「この癌治療法は承継側であるけど疾しない」ということは成り立たない fact7: 「仮にこの癌治療法は承継側だとすると「あの車検は疾ししそれに虜囚だ」ということは事実と異なる」ということは確かである fact8: 「あの車検は疾し」ということは正しいならば「この癌治療法は承継側で虜囚である」ということは成り立たない fact9: 「とある物は承継側であるがしかしそれは鱶でない」ということは誤りだとしたら承継側でない fact10: あの車検は承継側である fact11: この癌治療法は疾し fact12: あの車検はチェンジする fact13: この癌治療法は承継側だとすると「あの車検は疾しけれどそれは虜囚であるということはない」ということは嘘だ fact14: 「あの車検は疾しし虜囚である」ということは真実でない fact15: 「あの車検は承継側であるししかも虜囚だ」ということは成り立たない fact16: 「この縄張り意識は承継側だ」ということは事実である ; $hypothesis$ = 「あの車検は疾しがそれは虜囚でない」ということは間違っている ; $proof$ = 
fact13 & fact1 -> hypothesis; __PROVED__
事実1: この癌治療法は承継側だ
事実2: 「この癌治療法は性転換するがしかし介助しない」ということは嘘だ
事実3: もしもなにがしかのものは承継側でないとしたらそれは疾しけど虜囚でない
事実4: もしとある物は性転換しないならば「それは承継側であるしそれは鱶でない」ということは成り立つということはない
事実5: 仮にこの癌治療法は虜囚だとしたら「あの車検は承継側で疾し」ということは偽である
事実6: 「この癌治療法は承継側であるけど疾しない」ということは成り立たない
事実7: 「仮にこの癌治療法は承継側だとすると「あの車検は疾ししそれに虜囚だ」ということは事実と異なる」ということは確かである
事実8: 「あの車検は疾し」ということは正しいならば「この癌治療法は承継側で虜囚である」ということは成り立たない
事実9: 「とある物は承継側であるがしかしそれは鱶でない」ということは誤りだとしたら承継側でない
事実10: あの車検は承継側である
事実11: この癌治療法は疾し
事実12: あの車検はチェンジする
事実13: この癌治療法は承継側だとすると「あの車検は疾しけれどそれは虜囚であるということはない」ということは嘘だ
事実14: 「あの車検は疾しし虜囚である」ということは真実でない
事実15: 「あの車検は承継側であるししかも虜囚だ」ということは成り立たない
事実16: 「この縄張り意識は承継側だ」ということは事実である

仮説: 「あの車検は疾しがそれは虜囚でない」ということは間違っている
1. 事実13と事実1から、仮説が導かれる

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