この酢漬けは低情報条件でない
fact1: もしも「このシンボリック相互作用論は御迎え下さるし広まり始める」ということは間違いであるなら広まり始めない fact2: あの馴染みは腐り易いとすれば「この酢漬けは心優しいがしかし低情報条件でない」ということは間違っている fact3: もしもこの酢漬けが悩むとすればあのＯＥは悩む fact4: もし仮に何らかのものが集計方法でないとすれば長征であるし老性である fact5: あの馴染みは心優しいし悩む fact6: もし作り難い物が御説明致さないならそのエルフは欠かす fact7: もしそのエルフは集計方法だとすると「あの馴染みは集計方法でないかまたは老性であるか両方だ」ということは成り立たない fact8: 仮に「なにがしかの物は描画しないかあるいは状態であるかあるいはどちらもだ」ということは誤りならばそれは低情報条件である fact9: この酢漬けが状態であるなら悩むかあるいはそれは集計方法であるかあるいは両方ともである fact10: もし仮にそのエルフが欠かすとすればあのＯＥは集計方法でないけど入手し易い fact11: その捜査本部は作り難いがそれは御説明致さない fact12: この酢漬けが描画しないかそれは状態であるかまたは両方なら「そのエルフは集計方法である」ということは成り立つ fact13: 心優しいものは集計方法でないかまたは老性であるかどちらもである fact14: 「とあるものは心優しいけれどそれは低情報条件でない」ということは成り立たないとするとそれは悩む fact15: 「この酢漬けは集計方法でないかまたは老性でないかまたは両方ともだ」ということは誤りであるとしたらそれは低情報条件でない fact16: 御迎え下さるし広まり始めるというものはない fact17: もし仮にこのシンボリック相互作用論は広まり始めないなら「そのバラックは捜索するしそれは六十パーセント程度だ」ということは誤っている fact18: もし仮に「「捜索するしまた六十パーセント程度だ」ということは事実と異なる」物があるならあの馴染みは腐り易い
void -> assump1: 以下のように仮定する。この酢漬けは描画しないかまたはそれは状態であるかもしくは両方ともである; fact12 & assump1 -> int1: そのエルフは集計方法である; int1 & fact7 -> int2: 「あの馴染みは集計方法でないかあるいは老性である」ということは間違っている; fact13 -> int3: もし仮にあの馴染みが心優しいとすればそれは集計方法でないかあるいは老性であるかあるいは両方ともだ; fact5 -> int4: あの馴染みは心優しい; int3 & int4 -> int5: あの馴染みは集計方法でないかまたは老性だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この酢漬けは描画しないかもしくは状態だ」ということは間違っている; fact8 -> int8: もし仮に「この酢漬けは描画しないかあるいはそれは状態であるか両方だ」ということは確かでないなら低情報条件だ; int7 & int8 -> hypothesis;
この酢漬けは低情報条件でない
$facts$ = fact1: もしも「このシンボリック相互作用論は御迎え下さるし広まり始める」ということは間違いであるなら広まり始めない fact2: あの馴染みは腐り易いとすれば「この酢漬けは心優しいがしかし低情報条件でない」ということは間違っている fact3: もしもこの酢漬けが悩むとすればあのＯＥは悩む fact4: もし仮に何らかのものが集計方法でないとすれば長征であるし老性である fact5: あの馴染みは心優しいし悩む fact6: もし作り難い物が御説明致さないならそのエルフは欠かす fact7: もしそのエルフは集計方法だとすると「あの馴染みは集計方法でないかまたは老性であるか両方だ」ということは成り立たない fact8: 仮に「なにがしかの物は描画しないかあるいは状態であるかあるいはどちらもだ」ということは誤りならばそれは低情報条件である fact9: この酢漬けが状態であるなら悩むかあるいはそれは集計方法であるかあるいは両方ともである fact10: もし仮にそのエルフが欠かすとすればあのＯＥは集計方法でないけど入手し易い fact11: その捜査本部は作り難いがそれは御説明致さない fact12: この酢漬けが描画しないかそれは状態であるかまたは両方なら「そのエルフは集計方法である」ということは成り立つ fact13: 心優しいものは集計方法でないかまたは老性であるかどちらもである fact14: 「とあるものは心優しいけれどそれは低情報条件でない」ということは成り立たないとするとそれは悩む fact15: 「この酢漬けは集計方法でないかまたは老性でないかまたは両方ともだ」ということは誤りであるとしたらそれは低情報条件でない fact16: 御迎え下さるし広まり始めるというものはない fact17: もし仮にこのシンボリック相互作用論は広まり始めないなら「そのバラックは捜索するしそれは六十パーセント程度だ」ということは誤っている fact18: もし仮に「「捜索するしまた六十パーセント程度だ」ということは事実と異なる」物があるならあの馴染みは腐り易い ; $hypothesis$ = この酢漬けは低情報条件でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この酢漬けは描画しないかまたはそれは状態であるかもしくは両方ともである; fact12 & assump1 -> int1: そのエルフは集計方法である; int1 & fact7 -> int2: 「あの馴染みは集計方法でないかあるいは老性である」ということは間違っている; fact13 -> int3: もし仮にあの馴染みが心優しいとすればそれは集計方法でないかあるいは老性であるかあるいは両方ともだ; fact5 -> int4: あの馴染みは心優しい; int3 & int4 -> int5: あの馴染みは集計方法でないかまたは老性だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この酢漬けは描画しないかもしくは状態だ」ということは間違っている; fact8 -> int8: もし仮に「この酢漬けは描画しないかあるいはそれは状態であるか両方だ」ということは確かでないなら低情報条件だ; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もしも「このシンボリック相互作用論は御迎え下さるし広まり始める」ということは間違いであるなら広まり始めない
事実2: あの馴染みは腐り易いとすれば「この酢漬けは心優しいがしかし低情報条件でない」ということは間違っている
事実3: もしもこの酢漬けが悩むとすればあのＯＥは悩む
事実4: もし仮に何らかのものが集計方法でないとすれば長征であるし老性である
事実5: あの馴染みは心優しいし悩む
事実6: もし作り難い物が御説明致さないならそのエルフは欠かす
事実7: もしそのエルフは集計方法だとすると「あの馴染みは集計方法でないかまたは老性であるか両方だ」ということは成り立たない
事実8: 仮に「なにがしかの物は描画しないかあるいは状態であるかあるいはどちらもだ」ということは誤りならばそれは低情報条件である
事実9: この酢漬けが状態であるなら悩むかあるいはそれは集計方法であるかあるいは両方ともである
事実10: もし仮にそのエルフが欠かすとすればあのＯＥは集計方法でないけど入手し易い
事実11: その捜査本部は作り難いがそれは御説明致さない
事実12: この酢漬けが描画しないかそれは状態であるかまたは両方なら「そのエルフは集計方法である」ということは成り立つ
事実13: 心優しいものは集計方法でないかまたは老性であるかどちらもである
事実14: 「とあるものは心優しいけれどそれは低情報条件でない」ということは成り立たないとするとそれは悩む
事実15: 「この酢漬けは集計方法でないかまたは老性でないかまたは両方ともだ」ということは誤りであるとしたらそれは低情報条件でない
事実16: 御迎え下さるし広まり始めるというものはない
事実17: もし仮にこのシンボリック相互作用論は広まり始めないなら「そのバラックは捜索するしそれは六十パーセント程度だ」ということは誤っている
事実18: もし仮に「「捜索するしまた六十パーセント程度だ」ということは事実と異なる」物があるならあの馴染みは腐り易い

仮説: この酢漬けは低情報条件でない
1. 仮定1: 以下のように仮定する。この酢漬けは描画しないかまたはそれは状態であるかもしくは両方ともである
2. 事実12と仮定1から、推論1: "そのエルフは集計方法である"が導かれる
3. 推論1と事実7から、推論2: "「あの馴染みは集計方法でないかあるいは老性である」ということは間違っている"が導かれる
4. 事実13から、推論3: "もし仮にあの馴染みが心優しいとすればそれは集計方法でないかあるいは老性であるかあるいは両方ともだ"が導かれる
5. 事実5から、推論4: "あの馴染みは心優しい"が導かれる
6. 推論3と推論4から、推論5: "あの馴染みは集計方法でないかまたは老性だ"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「この酢漬けは描画しないかもしくは状態だ」ということは間違っている"が導かれる
9. 事実8から、推論8: "もし仮に「この酢漬けは描画しないかあるいはそれは状態であるか両方だ」ということは確かでないなら低情報条件だ"が導かれる
10. 推論7と推論8から、仮説が否定される

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