そのドリンクは使い難いしその上起案する
fact1: この会員権が生き残れないならそれは起案しない fact2: もしなにかは非論理でないとすると「飲んだくれる一方で使い難くない」ということは成り立たない fact3: もしとあるものが飲んだくれるか咀嚼しないか両方ともであるとすると「咀嚼しない」ということは成り立つ fact4: 「とあるものは生き残れるしかつそれは危なっかしい」ということは偽だとすればそれは起案しない fact5: この材源は咀嚼しない fact6: とある物は御許し願わない一方で期待し難い fact7: もしもとある物が生き残れないとしたらそれは起案しない fact8: 「もし仮にこの材源が咀嚼するならばあのドリンクは起案する」ということは成り立つ fact9: もし仮にあのモンタージュ写真が行い易くないとすればその宿は育ち難くないが発着する fact10: 仮にこの会員権は起案しないなら「そのドリンクは使い難いし起案する」ということは嘘だ fact11: もし仮に「何かは飲んだくれる一方で使い難くない」ということは間違っているとすると使い難い fact12: もしもあの塗り薬が大発生するとすれば表彰でない fact13: もし仮にこの会員権は安堵し難いということはないとすれば「この材源は咀嚼するかまたは起案するかあるいは両方ともだ」ということは成り立つ fact14: あのモンタージュ写真は行い易くないしその上根強くない fact15: もしもなんらかのものは咀嚼しないとすれば「起案するししかもコードだ」ということは誤っている fact16: そのドリンクは咀嚼しない fact17: もし「御許し願わないがしかし期待し難い」物があるとするとあの塗り薬は大発生する fact18: もし仮にこの材源は咀嚼しないとしたら「「この会員権は生き残れるしその上危なっかしい」ということは成り立たない」ということは偽でない fact19: 仮に「育ち難くない」物はあるなら「この会員権は育ち難いがしかし御悪くない」ということは成り立つということはない fact20: 「この材源は起案するししかも咀嚼する」ということは誤っている fact21: 「表彰でない」物があるとすればそのドリンクは非論理でないし問い返さない fact22: もしも「なにがしかのものは育ち難い一方で御悪くない」ということは真実でないとすればそれは安堵し難いということはない
fact18 & fact5 -> int1: 「「「この会員権は生き残れるし危なっかしい」ということは真実だ」ということは偽だ」ということは事実である; fact4 -> int2: もし「この会員権は生き残れるしそれに危なっかしい」ということは誤りだとしたら起案しない; int1 & int2 -> int3: この会員権は起案しない; int3 & fact10 -> hypothesis;
fact18 & fact5 -> int1: ¬({AA}{b} & {AB}{b}); fact4 -> int2: ¬({AA}{b} & {AB}{b}) -> ¬{B}{b}; int1 & int2 -> int3: ¬{B}{b}; int3 & fact10 -> hypothesis;
「あの不法構成要件は起案するしコードだ」ということは正しくない
fact24 -> int4: もし仮にあの不法構成要件は咀嚼しないならば「それが起案するしその上コードだ」ということは誤っている; fact23 -> int5: 仮にあの不法構成要件が飲んだくれるかあるいはそれは咀嚼しないかもしくは両方ならばそれは咀嚼するということはない;
$facts$ = fact1: この会員権が生き残れないならそれは起案しない fact2: もしなにかは非論理でないとすると「飲んだくれる一方で使い難くない」ということは成り立たない fact3: もしとあるものが飲んだくれるか咀嚼しないか両方ともであるとすると「咀嚼しない」ということは成り立つ fact4: 「とあるものは生き残れるしかつそれは危なっかしい」ということは偽だとすればそれは起案しない fact5: この材源は咀嚼しない fact6: とある物は御許し願わない一方で期待し難い fact7: もしもとある物が生き残れないとしたらそれは起案しない fact8: 「もし仮にこの材源が咀嚼するならばあのドリンクは起案する」ということは成り立つ fact9: もし仮にあのモンタージュ写真が行い易くないとすればその宿は育ち難くないが発着する fact10: 仮にこの会員権は起案しないなら「そのドリンクは使い難いし起案する」ということは嘘だ fact11: もし仮に「何かは飲んだくれる一方で使い難くない」ということは間違っているとすると使い難い fact12: もしもあの塗り薬が大発生するとすれば表彰でない fact13: もし仮にこの会員権は安堵し難いということはないとすれば「この材源は咀嚼するかまたは起案するかあるいは両方ともだ」ということは成り立つ fact14: あのモンタージュ写真は行い易くないしその上根強くない fact15: もしもなんらかのものは咀嚼しないとすれば「起案するししかもコードだ」ということは誤っている fact16: そのドリンクは咀嚼しない fact17: もし「御許し願わないがしかし期待し難い」物があるとするとあの塗り薬は大発生する fact18: もし仮にこの材源は咀嚼しないとしたら「「この会員権は生き残れるしその上危なっかしい」ということは成り立たない」ということは偽でない fact19: 仮に「育ち難くない」物はあるなら「この会員権は育ち難いがしかし御悪くない」ということは成り立つということはない fact20: 「この材源は起案するししかも咀嚼する」ということは誤っている fact21: 「表彰でない」物があるとすればそのドリンクは非論理でないし問い返さない fact22: もしも「なにがしかのものは育ち難い一方で御悪くない」ということは真実でないとすればそれは安堵し難いということはない ; $hypothesis$ = そのドリンクは使い難いしその上起案する ; $proof$ = 
fact18 & fact5 -> int1: 「「「この会員権は生き残れるし危なっかしい」ということは真実だ」ということは偽だ」ということは事実である; fact4 -> int2: もし「この会員権は生き残れるしそれに危なっかしい」ということは誤りだとしたら起案しない; int1 & int2 -> int3: この会員権は起案しない; int3 & fact10 -> hypothesis; __DISPROVED__
事実1: この会員権が生き残れないならそれは起案しない
事実2: もしなにかは非論理でないとすると「飲んだくれる一方で使い難くない」ということは成り立たない
事実3: もしとあるものが飲んだくれるか咀嚼しないか両方ともであるとすると「咀嚼しない」ということは成り立つ
事実4: 「とあるものは生き残れるしかつそれは危なっかしい」ということは偽だとすればそれは起案しない
事実5: この材源は咀嚼しない
事実6: とある物は御許し願わない一方で期待し難い
事実7: もしもとある物が生き残れないとしたらそれは起案しない
事実8: 「もし仮にこの材源が咀嚼するならばあのドリンクは起案する」ということは成り立つ
事実9: もし仮にあのモンタージュ写真が行い易くないとすればその宿は育ち難くないが発着する
事実10: 仮にこの会員権は起案しないなら「そのドリンクは使い難いし起案する」ということは嘘だ
事実11: もし仮に「何かは飲んだくれる一方で使い難くない」ということは間違っているとすると使い難い
事実12: もしもあの塗り薬が大発生するとすれば表彰でない
事実13: もし仮にこの会員権は安堵し難いということはないとすれば「この材源は咀嚼するかまたは起案するかあるいは両方ともだ」ということは成り立つ
事実14: あのモンタージュ写真は行い易くないしその上根強くない
事実15: もしもなんらかのものは咀嚼しないとすれば「起案するししかもコードだ」ということは誤っている
事実16: そのドリンクは咀嚼しない
事実17: もし「御許し願わないがしかし期待し難い」物があるとするとあの塗り薬は大発生する
事実18: もし仮にこの材源は咀嚼しないとしたら「「この会員権は生き残れるしその上危なっかしい」ということは成り立たない」ということは偽でない
事実19: 仮に「育ち難くない」物はあるなら「この会員権は育ち難いがしかし御悪くない」ということは成り立つということはない
事実20: 「この材源は起案するししかも咀嚼する」ということは誤っている
事実21: 「表彰でない」物があるとすればそのドリンクは非論理でないし問い返さない
事実22: もしも「なにがしかのものは育ち難い一方で御悪くない」ということは真実でないとすればそれは安堵し難いということはない

仮説: そのドリンクは使い難いしその上起案する
1. 事実18と事実5から、推論1: "「「「この会員権は生き残れるし危なっかしい」ということは真実だ」ということは偽だ」ということは事実である"が導かれる
2. 事実4から、推論2: "もし「この会員権は生き残れるしそれに危なっかしい」ということは誤りだとしたら起案しない"が導かれる
3. 推論1と推論2から、推論3: "この会員権は起案しない"が導かれる
4. 推論3と事実10から、仮説が否定される

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