この降下艇は南町奉行所だ
fact1: 仮に「その空戦性能は荒立たないけど反訴原告である」ということは誤りならばこの降下艇は南町奉行所でない fact2: もしもその二機種は熱し易くないとすると着任するし鼻歌する fact3: もし何らかのものはネイティブらしくないならば「それは理解し辛くてそれに読み易い」ということは間違いだ fact4: その二機種は熱し易くない fact5: もしとあるものが幇助しないならそれは後退するしさらにそれは目まぐるしい fact6: 「その空戦性能は南町奉行所でないけれど反訴原告だ」ということは間違いである fact7: もしも「この値下げは幇助するということはないけれど目まぐるしい」ということは偽だとするとこの垂れ飾は目まぐるしかない fact8: もしもこの値下げが幇助しないとすればこの垂れ飾は幇助しない fact9: もしもあるものは目まぐるしいとすれば「南町奉行所でないか洋楽であるかまたはどちらもである」ということは誤っている fact10: もしもある物は後退しないならば「幇助しなくてまた目まぐるしい」ということは間違っている fact11: それは荒立たないけれど反訴原告だという物はない fact12: もし仮に「「理解し辛くて読み易い」ということは事実と異なる」物があるならそのゲノムは大日本でない fact13: もし「とある物は読み易くない」ということは本当だとすれば「それは大日本であるしそれにそれは退所する」ということは嘘である fact14: 仮に「この垂れ飾は南町奉行所であるということはないかまたはそれは洋楽であるかもしくは両方ともだ」ということは事実と異なるならこの降下艇は南町奉行所だ fact15: 仮に「なにがしかの物は大日本であるしその上退所する」ということは本当でないとしたらそれは後退しない fact16: 「あらゆるものは読み易くない」ということは確かである fact17: 仮にそのゲノムが大日本でないならばこの値下げは幇助しないか退所しないかあるいは両方ともだ fact18: もしも「南町奉行所である」ものがあればこの優遇は荒立たない fact19: その二機種が鼻歌するとしたらあの消し炭はネイティブらしくない
fact11 -> int1: 「その空戦性能は荒立つということはないが反訴原告である」ということは嘘だ; int1 & fact1 -> hypothesis;
この優遇は荒立たない
fact21 -> int2: 仮に「この値下げは大日本で加えて退所する」ということは成り立たないとすれば後退しない; fact22 -> int3: そのゲノムは読み易いということはないとすれば「それは大日本であるしそれに退所する」ということは成り立たない; fact23 -> int4: そのゲノムは読み易くない; int3 & int4 -> int5: 「「そのゲノムは大日本で退所する」ということは本当である」ということは間違いである; int5 -> int6: 大日本で退所するというものはない; int6 -> int7: 「「この値下げは大日本でまた退所する」ということは本当である」ということは間違いだ; int2 & int7 -> int8: 「この値下げは後退しない」ということは事実だ; fact25 -> int9: もしこの値下げは後退しないとすると「それは幇助するということはないしそれにそれは目まぐるしい」ということは偽だ; int8 & int9 -> int10: 「この値下げは幇助しない一方で目まぐるしい」ということは誤っている; fact24 & int10 -> int11: この垂れ飾は目まぐるしかない;
$facts$ = fact1: 仮に「その空戦性能は荒立たないけど反訴原告である」ということは誤りならばこの降下艇は南町奉行所でない fact2: もしもその二機種は熱し易くないとすると着任するし鼻歌する fact3: もし何らかのものはネイティブらしくないならば「それは理解し辛くてそれに読み易い」ということは間違いだ fact4: その二機種は熱し易くない fact5: もしとあるものが幇助しないならそれは後退するしさらにそれは目まぐるしい fact6: 「その空戦性能は南町奉行所でないけれど反訴原告だ」ということは間違いである fact7: もしも「この値下げは幇助するということはないけれど目まぐるしい」ということは偽だとするとこの垂れ飾は目まぐるしかない fact8: もしもこの値下げが幇助しないとすればこの垂れ飾は幇助しない fact9: もしもあるものは目まぐるしいとすれば「南町奉行所でないか洋楽であるかまたはどちらもである」ということは誤っている fact10: もしもある物は後退しないならば「幇助しなくてまた目まぐるしい」ということは間違っている fact11: それは荒立たないけれど反訴原告だという物はない fact12: もし仮に「「理解し辛くて読み易い」ということは事実と異なる」物があるならそのゲノムは大日本でない fact13: もし「とある物は読み易くない」ということは本当だとすれば「それは大日本であるしそれにそれは退所する」ということは嘘である fact14: 仮に「この垂れ飾は南町奉行所であるということはないかまたはそれは洋楽であるかもしくは両方ともだ」ということは事実と異なるならこの降下艇は南町奉行所だ fact15: 仮に「なにがしかの物は大日本であるしその上退所する」ということは本当でないとしたらそれは後退しない fact16: 「あらゆるものは読み易くない」ということは確かである fact17: 仮にそのゲノムが大日本でないならばこの値下げは幇助しないか退所しないかあるいは両方ともだ fact18: もしも「南町奉行所である」ものがあればこの優遇は荒立たない fact19: その二機種が鼻歌するとしたらあの消し炭はネイティブらしくない ; $hypothesis$ = この降下艇は南町奉行所だ ; $proof$ = 
fact11 -> int1: 「その空戦性能は荒立つということはないが反訴原告である」ということは嘘だ; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮に「その空戦性能は荒立たないけど反訴原告である」ということは誤りならばこの降下艇は南町奉行所でない
事実2: もしもその二機種は熱し易くないとすると着任するし鼻歌する
事実3: もし何らかのものはネイティブらしくないならば「それは理解し辛くてそれに読み易い」ということは間違いだ
事実4: その二機種は熱し易くない
事実5: もしとあるものが幇助しないならそれは後退するしさらにそれは目まぐるしい
事実6: 「その空戦性能は南町奉行所でないけれど反訴原告だ」ということは間違いである
事実7: もしも「この値下げは幇助するということはないけれど目まぐるしい」ということは偽だとするとこの垂れ飾は目まぐるしかない
事実8: もしもこの値下げが幇助しないとすればこの垂れ飾は幇助しない
事実9: もしもあるものは目まぐるしいとすれば「南町奉行所でないか洋楽であるかまたはどちらもである」ということは誤っている
事実10: もしもある物は後退しないならば「幇助しなくてまた目まぐるしい」ということは間違っている
事実11: それは荒立たないけれど反訴原告だという物はない
事実12: もし仮に「「理解し辛くて読み易い」ということは事実と異なる」物があるならそのゲノムは大日本でない
事実13: もし「とある物は読み易くない」ということは本当だとすれば「それは大日本であるしそれにそれは退所する」ということは嘘である
事実14: 仮に「この垂れ飾は南町奉行所であるということはないかまたはそれは洋楽であるかもしくは両方ともだ」ということは事実と異なるならこの降下艇は南町奉行所だ
事実15: 仮に「なにがしかの物は大日本であるしその上退所する」ということは本当でないとしたらそれは後退しない
事実16: 「あらゆるものは読み易くない」ということは確かである
事実17: 仮にそのゲノムが大日本でないならばこの値下げは幇助しないか退所しないかあるいは両方ともだ
事実18: もしも「南町奉行所である」ものがあればこの優遇は荒立たない
事実19: その二機種が鼻歌するとしたらあの消し炭はネイティブらしくない

仮説: この降下艇は南町奉行所だ
1. 事実11から、推論1: "「その空戦性能は荒立つということはないが反訴原告である」ということは嘘だ"が導かれる
2. 推論1と事実1から、仮説が否定される

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