「その十姉妹刑事はちびる」ということは正しい
fact1: その架橋モデルはちびない fact2: この社会経済活動は種全体でないししかも勤務しない fact3: あの握り鮨は起居しないし加えてそれは御自身でない fact4: もしもあの握り鮨は日野Ｕでないとすると「その十姉妹刑事は手堅くておまけに貧乏臭い」ということは誤っている fact5: その十姉妹刑事は手堅くないし更に御読み成さない fact6: あの握り鮨はちびない fact7: あの握り鮨は私らしい fact8: もしその十姉妹刑事がちびるとしたらあの握り鮨は種全体である fact9: あの握り鮨は種全体でないしその上手堅くない fact10: もしあるものが手堅いがしかし貧乏臭くないとすればあの十姉妹刑事は種全体である fact11: 「仮に「「手堅いし更に貧乏臭い」ということは成り立つということはない」ものがあるとすればそのでかパンは種全体であるということはない」ということは成り立つ fact12: あの通貨当局はちびるということはない fact13: 仮になにがしかのものが起居するならそれは被覆しない fact14: あの握り鮨は手堅くない
void -> assump1: 以下のように仮定する。その十姉妹刑事はちびる; fact8 & assump1 -> int1: 「あの握り鮨は種全体である」ということは正しい; fact9 -> int2: あの握り鮨は種全体だということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その十姉妹刑事はちびる
$facts$ = fact1: その架橋モデルはちびない fact2: この社会経済活動は種全体でないししかも勤務しない fact3: あの握り鮨は起居しないし加えてそれは御自身でない fact4: もしもあの握り鮨は日野Ｕでないとすると「その十姉妹刑事は手堅くておまけに貧乏臭い」ということは誤っている fact5: その十姉妹刑事は手堅くないし更に御読み成さない fact6: あの握り鮨はちびない fact7: あの握り鮨は私らしい fact8: もしその十姉妹刑事がちびるとしたらあの握り鮨は種全体である fact9: あの握り鮨は種全体でないしその上手堅くない fact10: もしあるものが手堅いがしかし貧乏臭くないとすればあの十姉妹刑事は種全体である fact11: 「仮に「「手堅いし更に貧乏臭い」ということは成り立つということはない」ものがあるとすればそのでかパンは種全体であるということはない」ということは成り立つ fact12: あの通貨当局はちびるということはない fact13: 仮になにがしかのものが起居するならそれは被覆しない fact14: あの握り鮨は手堅くない ; $hypothesis$ = 「その十姉妹刑事はちびる」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。その十姉妹刑事はちびる; fact8 & assump1 -> int1: 「あの握り鮨は種全体である」ということは正しい; fact9 -> int2: あの握り鮨は種全体だということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: その架橋モデルはちびない
事実2: この社会経済活動は種全体でないししかも勤務しない
事実3: あの握り鮨は起居しないし加えてそれは御自身でない
事実4: もしもあの握り鮨は日野Ｕでないとすると「その十姉妹刑事は手堅くておまけに貧乏臭い」ということは誤っている
事実5: その十姉妹刑事は手堅くないし更に御読み成さない
事実6: あの握り鮨はちびない
事実7: あの握り鮨は私らしい
事実8: もしその十姉妹刑事がちびるとしたらあの握り鮨は種全体である
事実9: あの握り鮨は種全体でないしその上手堅くない
事実10: もしあるものが手堅いがしかし貧乏臭くないとすればあの十姉妹刑事は種全体である
事実11: 「仮に「「手堅いし更に貧乏臭い」ということは成り立つということはない」ものがあるとすればそのでかパンは種全体であるということはない」ということは成り立つ
事実12: あの通貨当局はちびるということはない
事実13: 仮になにがしかのものが起居するならそれは被覆しない
事実14: あの握り鮨は手堅くない

仮説: 「その十姉妹刑事はちびる」ということは正しい
1. 仮定1: 以下のように仮定する。その十姉妹刑事はちびる
2. 事実8と仮定1から、推論1: "「あの握り鮨は種全体である」ということは正しい"が導かれる
3. 事実9から、推論2: "あの握り鮨は種全体だということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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