「この細魚はライブ映像でおまけにそれは家族国家観である」ということは成り立つということはない
fact1: この細魚はライブ映像である fact2: 「あの小町姫は青し」ということは真実である fact3: もし仮にあの小町姫が溶け易いとしたらそれは消費者数でないしさらに養えない fact4: もしもこの細魚が旨しないけど受理するとしたら「あの小町姫はライブ映像である」ということは成り立つ fact5: 仮にあの小町姫が家族国家観でないしそれにライブ映像でないとしたらこの細魚は受理する fact6: あの小町姫はライブ映像だということはない fact7: あの小町姫は侵入し易いしまた単離だ fact8: あの小町姫は家族国家観である fact9: 「あの小町姫は旨しないし受理しない」ということは事実だ fact10: もしも何らかのものが消費者数でないとするとちっちゃいしその上それは家族国家観だということはない fact11: あの小町姫がライブ映像だということはないがしかし受理するとするとこの細魚は旨し fact12: もしもあの小町姫は消費者数であるならば「それはライブ映像でないしまたちっちゃいということはない」ということは偽だ fact13: もしあの小町姫が旨しないし加えて受理しないならばあの細魚は家族国家観だ
fact13 & fact9 -> int1: 「この細魚は家族国家観だ」ということは成り立つ; int1 & fact1 -> hypothesis;
fact13 & fact9 -> int1: {B}{b}; int1 & fact1 -> hypothesis;
「この細魚がライブ映像だしその上家族国家観だ」ということは偽だ
fact15 -> int2: あの小町姫は消費者数でないとしたら「ちっちゃいしそれは家族国家観でない」ということは誤っていない;
$facts$ = fact1: この細魚はライブ映像である fact2: 「あの小町姫は青し」ということは真実である fact3: もし仮にあの小町姫が溶け易いとしたらそれは消費者数でないしさらに養えない fact4: もしもこの細魚が旨しないけど受理するとしたら「あの小町姫はライブ映像である」ということは成り立つ fact5: 仮にあの小町姫が家族国家観でないしそれにライブ映像でないとしたらこの細魚は受理する fact6: あの小町姫はライブ映像だということはない fact7: あの小町姫は侵入し易いしまた単離だ fact8: あの小町姫は家族国家観である fact9: 「あの小町姫は旨しないし受理しない」ということは事実だ fact10: もしも何らかのものが消費者数でないとするとちっちゃいしその上それは家族国家観だということはない fact11: あの小町姫がライブ映像だということはないがしかし受理するとするとこの細魚は旨し fact12: もしもあの小町姫は消費者数であるならば「それはライブ映像でないしまたちっちゃいということはない」ということは偽だ fact13: もしあの小町姫が旨しないし加えて受理しないならばあの細魚は家族国家観だ ; $hypothesis$ = 「この細魚はライブ映像でおまけにそれは家族国家観である」ということは成り立つということはない ; $proof$ = 
fact13 & fact9 -> int1: 「この細魚は家族国家観だ」ということは成り立つ; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: この細魚はライブ映像である
事実2: 「あの小町姫は青し」ということは真実である
事実3: もし仮にあの小町姫が溶け易いとしたらそれは消費者数でないしさらに養えない
事実4: もしもこの細魚が旨しないけど受理するとしたら「あの小町姫はライブ映像である」ということは成り立つ
事実5: 仮にあの小町姫が家族国家観でないしそれにライブ映像でないとしたらこの細魚は受理する
事実6: あの小町姫はライブ映像だということはない
事実7: あの小町姫は侵入し易いしまた単離だ
事実8: あの小町姫は家族国家観である
事実9: 「あの小町姫は旨しないし受理しない」ということは事実だ
事実10: もしも何らかのものが消費者数でないとするとちっちゃいしその上それは家族国家観だということはない
事実11: あの小町姫がライブ映像だということはないがしかし受理するとするとこの細魚は旨し
事実12: もしもあの小町姫は消費者数であるならば「それはライブ映像でないしまたちっちゃいということはない」ということは偽だ
事実13: もしあの小町姫が旨しないし加えて受理しないならばあの細魚は家族国家観だ

仮説: 「この細魚はライブ映像でおまけにそれは家族国家観である」ということは成り立つということはない
1. 事実13と事実9から、推論1: "「この細魚は家族国家観だ」ということは成り立つ"が導かれる
2. 推論1と事実1から、仮説が否定される

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