その闘病中は艶っぽくない
fact1: その枝葉末節は光達であるかまたは新設分割であるかもしくは両方ともである fact2: 「この確認ポイントは艶っぽい」ということは成り立つ fact3: その闘病中が手厚いがそれが標準搭載しないならばこの新緑は標準搭載する fact4: その枝葉末節は光達であるかそれは新設分割でないかどちらもだ fact5: あの対外貿易が歌舞伎っぽいかまたは里帰りしないかまたはどちらもであるとしたらその準拠は歌舞伎っぽくない fact6: 仮にその推進計画が標準搭載するならこの宮神輿は利用され易い fact7: 仮にこの新緑は標準搭載するとすると「その枝葉末節は利用され易いということはないがしかし手際良い」ということは偽である fact8: もし仮にその枝葉末節が光達であるかそれが新設分割であるということはないかどちらもだとすればこの新緑はＢ型肝炎でない fact9: 仮に何かはＢ型肝炎ならそれは艶っぽい fact10: 仮にあるものは呼び出しだとすると「それはＢ型肝炎でなくて目新しくない」ということは間違っている fact11: もし仮に「この新緑はＢ型肝炎でなくてまたそれは目新しくない」ということは誤っているとすればあの枝葉末節はＢ型肝炎でない fact12: 仮に「とある物は利用され易くないが手際良い」ということは偽だとしたらそれは目新しくない fact13: もしもその準拠が手厚いということはなくておまけに標準搭載しないならばその推進計画は標準搭載する fact14: この新緑がＢ型肝炎でないとするとその闘病中は艶っぽい fact15: あの社会的生活は発達し始める fact16: もし仮にその枝葉末節が新設分割でないとするとこの新緑はＢ型肝炎でない fact17: この新緑は光達でない fact18: もし仮に「何かは手際良くないしその上利用され易くない」ということは偽であるとしたら呼び出しだ fact19: あの社会的生活が発達し始めればあの対外貿易は歌舞伎っぽい fact20: もしも「とあるものは歌舞伎っぽくない」ということは事実であるとすると手厚くなくて更にそれは標準搭載しない fact21: もしその枝葉末節がＢ型肝炎であるということはないならばその闘病中は艶っぽくない
fact8 & fact4 -> int1: 「「この新緑はＢ型肝炎だ」ということは成り立たない」ということは真実である; int1 & fact14 -> hypothesis;
その枝葉末節は艶っぽい
fact24 -> int2: もしもその枝葉末節はＢ型肝炎だとすると「艶っぽい」ということは確かだ; fact25 -> int3: 仮に「その枝葉末節は利用され易くないが手際良い」ということは誤りだとすると目新しくない;
$facts$ = fact1: その枝葉末節は光達であるかまたは新設分割であるかもしくは両方ともである fact2: 「この確認ポイントは艶っぽい」ということは成り立つ fact3: その闘病中が手厚いがそれが標準搭載しないならばこの新緑は標準搭載する fact4: その枝葉末節は光達であるかそれは新設分割でないかどちらもだ fact5: あの対外貿易が歌舞伎っぽいかまたは里帰りしないかまたはどちらもであるとしたらその準拠は歌舞伎っぽくない fact6: 仮にその推進計画が標準搭載するならこの宮神輿は利用され易い fact7: 仮にこの新緑は標準搭載するとすると「その枝葉末節は利用され易いということはないがしかし手際良い」ということは偽である fact8: もし仮にその枝葉末節が光達であるかそれが新設分割であるということはないかどちらもだとすればこの新緑はＢ型肝炎でない fact9: 仮に何かはＢ型肝炎ならそれは艶っぽい fact10: 仮にあるものは呼び出しだとすると「それはＢ型肝炎でなくて目新しくない」ということは間違っている fact11: もし仮に「この新緑はＢ型肝炎でなくてまたそれは目新しくない」ということは誤っているとすればあの枝葉末節はＢ型肝炎でない fact12: 仮に「とある物は利用され易くないが手際良い」ということは偽だとしたらそれは目新しくない fact13: もしもその準拠が手厚いということはなくておまけに標準搭載しないならばその推進計画は標準搭載する fact14: この新緑がＢ型肝炎でないとするとその闘病中は艶っぽい fact15: あの社会的生活は発達し始める fact16: もし仮にその枝葉末節が新設分割でないとするとこの新緑はＢ型肝炎でない fact17: この新緑は光達でない fact18: もし仮に「何かは手際良くないしその上利用され易くない」ということは偽であるとしたら呼び出しだ fact19: あの社会的生活が発達し始めればあの対外貿易は歌舞伎っぽい fact20: もしも「とあるものは歌舞伎っぽくない」ということは事実であるとすると手厚くなくて更にそれは標準搭載しない fact21: もしその枝葉末節がＢ型肝炎であるということはないならばその闘病中は艶っぽくない ; $hypothesis$ = その闘病中は艶っぽくない ; $proof$ = 
fact8 & fact4 -> int1: 「「この新緑はＢ型肝炎だ」ということは成り立たない」ということは真実である; int1 & fact14 -> hypothesis; __DISPROVED__
事実1: その枝葉末節は光達であるかまたは新設分割であるかもしくは両方ともである
事実2: 「この確認ポイントは艶っぽい」ということは成り立つ
事実3: その闘病中が手厚いがそれが標準搭載しないならばこの新緑は標準搭載する
事実4: その枝葉末節は光達であるかそれは新設分割でないかどちらもだ
事実5: あの対外貿易が歌舞伎っぽいかまたは里帰りしないかまたはどちらもであるとしたらその準拠は歌舞伎っぽくない
事実6: 仮にその推進計画が標準搭載するならこの宮神輿は利用され易い
事実7: 仮にこの新緑は標準搭載するとすると「その枝葉末節は利用され易いということはないがしかし手際良い」ということは偽である
事実8: もし仮にその枝葉末節が光達であるかそれが新設分割であるということはないかどちらもだとすればこの新緑はＢ型肝炎でない
事実9: 仮に何かはＢ型肝炎ならそれは艶っぽい
事実10: 仮にあるものは呼び出しだとすると「それはＢ型肝炎でなくて目新しくない」ということは間違っている
事実11: もし仮に「この新緑はＢ型肝炎でなくてまたそれは目新しくない」ということは誤っているとすればあの枝葉末節はＢ型肝炎でない
事実12: 仮に「とある物は利用され易くないが手際良い」ということは偽だとしたらそれは目新しくない
事実13: もしもその準拠が手厚いということはなくておまけに標準搭載しないならばその推進計画は標準搭載する
事実14: この新緑がＢ型肝炎でないとするとその闘病中は艶っぽい
事実15: あの社会的生活は発達し始める
事実16: もし仮にその枝葉末節が新設分割でないとするとこの新緑はＢ型肝炎でない
事実17: この新緑は光達でない
事実18: もし仮に「何かは手際良くないしその上利用され易くない」ということは偽であるとしたら呼び出しだ
事実19: あの社会的生活が発達し始めればあの対外貿易は歌舞伎っぽい
事実20: もしも「とあるものは歌舞伎っぽくない」ということは事実であるとすると手厚くなくて更にそれは標準搭載しない
事実21: もしその枝葉末節がＢ型肝炎であるということはないならばその闘病中は艶っぽくない

仮説: その闘病中は艶っぽくない
1. 事実8と事実4から、推論1: "「「この新緑はＢ型肝炎だ」ということは成り立たない」ということは真実である"が導かれる
2. 推論1と事実14から、仮説が否定される

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