あの失神はどす黒い
fact1: 「この御依頼はなあいしさらに海水である」ということは嘘である fact2: もし仮にこの目的不動産がピアスするならばあの御依頼は桃山であるということはない fact3: もしこの御依頼は桃山でないとすれば「この目的不動産はピアスする一方でそれは冷め易くない」ということは嘘である fact4: なんらかの物が内示するとするとそれは桃山でない fact5: もし仮にとあるものがＯＢ臭くないとすればそれは内示するかもしくは提言すかまたはどちらもである fact6: もしそのテーマ画は桃山ならば「この御依頼は冷め易いかまたはそれはピアスしない」ということは誤りである fact7: その側面は海水だ fact8: 海水は冷め易い fact9: もしも「その側面はＯＢ臭いけど提言すらない」ということは成り立たないなら海水である fact10: 仮に「住み方であるしそれにどす黒い」物があるならばあの目的不動産はピアスしない fact11: もしもその側面が海水だとするとあの窯入れはＯＢ臭い fact12: そのテーマ画は冷め易いとすると「この御依頼は提言すか住み方でないかあるいはどちらもだ」ということは成り立つということはない fact13: もし仮に「とある物は内示するけれど提言すらない」ということは成り立たないとすれば桃山である fact14: もしこの目的不動産がピアスしないならこの御依頼は冷め易いかあるいはピアスしないかあるいはどちらもだ fact15: ある物は気まずい fact16: もし「この御依頼はなあいしさらに海水だ」ということは成り立たないとすればＯＢ臭くない fact17: あの失神はＯＢ臭くない fact18: もしなんらかのものがピアスしないとするとどす黒くてかつ住み方だ fact19: 「あの窯入れはせこいかまたは冥界でないかまたはどちらもである」ということは誤っている fact20: 「あの失神は住み方だ」ということは確かである fact21: もしもあの窯入れはＯＢ臭いなら「そのテーマ画は内示する一方でそれは提言すということはない」ということは偽である
void -> assump1: 以下のように仮定する。あの失神はどす黒い; fact20 & assump1 -> int1: あの失神は住み方であるしそれにどす黒い; int1 -> int2: どす黒い住み方はある; int2 & fact10 -> int3: この目的不動産はピアスしない; int3 & fact14 -> int4: この御依頼は冷め易いかまたはピアスするということはない; fact7 & fact11 -> int5: あの窯入れはＯＢ臭い; int5 & fact21 -> int6: 「そのテーマ画は内示するけどそれは提言すらない」ということは偽である; fact13 -> int7: もしも「「そのテーマ画は内示するけれど提言すらない」ということは嘘である」ということは間違いでないなら「桃山だ」ということは本当だ; int6 & int7 -> int8: そのテーマ画は桃山である; int8 & fact6 -> int9: 「この御依頼は冷め易いかあるいはそれはピアスするということはないか両方ともである」ということは偽だ; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
あの失神はどす黒い
fact24 -> int11: もし仮にあの失神がピアスするということはないならばそれはどす黒くて加えて住み方である; fact23 -> int12: 仮にこの御依頼がＯＢ臭くないとすればそれは内示するか提言すかもしくは両方ともだ; fact27 & fact22 -> int13: この御依頼はＯＢ臭くない; int12 & int13 -> int14: この御依頼は内示するかもしくは提言すかもしくは両方ともだ; fact26 -> int15: もし仮に「この御依頼は内示する」ということは成り立つなら桃山だということはない;
$facts$ = fact1: 「この御依頼はなあいしさらに海水である」ということは嘘である fact2: もし仮にこの目的不動産がピアスするならばあの御依頼は桃山であるということはない fact3: もしこの御依頼は桃山でないとすれば「この目的不動産はピアスする一方でそれは冷め易くない」ということは嘘である fact4: なんらかの物が内示するとするとそれは桃山でない fact5: もし仮にとあるものがＯＢ臭くないとすればそれは内示するかもしくは提言すかまたはどちらもである fact6: もしそのテーマ画は桃山ならば「この御依頼は冷め易いかまたはそれはピアスしない」ということは誤りである fact7: その側面は海水だ fact8: 海水は冷め易い fact9: もしも「その側面はＯＢ臭いけど提言すらない」ということは成り立たないなら海水である fact10: 仮に「住み方であるしそれにどす黒い」物があるならばあの目的不動産はピアスしない fact11: もしもその側面が海水だとするとあの窯入れはＯＢ臭い fact12: そのテーマ画は冷め易いとすると「この御依頼は提言すか住み方でないかあるいはどちらもだ」ということは成り立つということはない fact13: もし仮に「とある物は内示するけれど提言すらない」ということは成り立たないとすれば桃山である fact14: もしこの目的不動産がピアスしないならこの御依頼は冷め易いかあるいはピアスしないかあるいはどちらもだ fact15: ある物は気まずい fact16: もし「この御依頼はなあいしさらに海水だ」ということは成り立たないとすればＯＢ臭くない fact17: あの失神はＯＢ臭くない fact18: もしなんらかのものがピアスしないとするとどす黒くてかつ住み方だ fact19: 「あの窯入れはせこいかまたは冥界でないかまたはどちらもである」ということは誤っている fact20: 「あの失神は住み方だ」ということは確かである fact21: もしもあの窯入れはＯＢ臭いなら「そのテーマ画は内示する一方でそれは提言すということはない」ということは偽である ; $hypothesis$ = あの失神はどす黒い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの失神はどす黒い; fact20 & assump1 -> int1: あの失神は住み方であるしそれにどす黒い; int1 -> int2: どす黒い住み方はある; int2 & fact10 -> int3: この目的不動産はピアスしない; int3 & fact14 -> int4: この御依頼は冷め易いかまたはピアスするということはない; fact7 & fact11 -> int5: あの窯入れはＯＢ臭い; int5 & fact21 -> int6: 「そのテーマ画は内示するけどそれは提言すらない」ということは偽である; fact13 -> int7: もしも「「そのテーマ画は内示するけれど提言すらない」ということは嘘である」ということは間違いでないなら「桃山だ」ということは本当だ; int6 & int7 -> int8: そのテーマ画は桃山である; int8 & fact6 -> int9: 「この御依頼は冷め易いかあるいはそれはピアスするということはないか両方ともである」ということは偽だ; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __DISPROVED__
事実1: 「この御依頼はなあいしさらに海水である」ということは嘘である
事実2: もし仮にこの目的不動産がピアスするならばあの御依頼は桃山であるということはない
事実3: もしこの御依頼は桃山でないとすれば「この目的不動産はピアスする一方でそれは冷め易くない」ということは嘘である
事実4: なんらかの物が内示するとするとそれは桃山でない
事実5: もし仮にとあるものがＯＢ臭くないとすればそれは内示するかもしくは提言すかまたはどちらもである
事実6: もしそのテーマ画は桃山ならば「この御依頼は冷め易いかまたはそれはピアスしない」ということは誤りである
事実7: その側面は海水だ
事実8: 海水は冷め易い
事実9: もしも「その側面はＯＢ臭いけど提言すらない」ということは成り立たないなら海水である
事実10: 仮に「住み方であるしそれにどす黒い」物があるならばあの目的不動産はピアスしない
事実11: もしもその側面が海水だとするとあの窯入れはＯＢ臭い
事実12: そのテーマ画は冷め易いとすると「この御依頼は提言すか住み方でないかあるいはどちらもだ」ということは成り立つということはない
事実13: もし仮に「とある物は内示するけれど提言すらない」ということは成り立たないとすれば桃山である
事実14: もしこの目的不動産がピアスしないならこの御依頼は冷め易いかあるいはピアスしないかあるいはどちらもだ
事実15: ある物は気まずい
事実16: もし「この御依頼はなあいしさらに海水だ」ということは成り立たないとすればＯＢ臭くない
事実17: あの失神はＯＢ臭くない
事実18: もしなんらかのものがピアスしないとするとどす黒くてかつ住み方だ
事実19: 「あの窯入れはせこいかまたは冥界でないかまたはどちらもである」ということは誤っている
事実20: 「あの失神は住み方だ」ということは確かである
事実21: もしもあの窯入れはＯＢ臭いなら「そのテーマ画は内示する一方でそれは提言すということはない」ということは偽である

仮説: あの失神はどす黒い
1. 仮定1: 以下のように仮定する。あの失神はどす黒い
2. 事実20と仮定1から、推論1: "あの失神は住み方であるしそれにどす黒い"が導かれる
3. 推論1から、推論2: "どす黒い住み方はある"が導かれる
4. 推論2と事実10から、推論3: "この目的不動産はピアスしない"が導かれる
5. 推論3と事実14から、推論4: "この御依頼は冷め易いかまたはピアスするということはない"が導かれる
6. 事実7と事実11から、推論5: "あの窯入れはＯＢ臭い"が導かれる
7. 推論5と事実21から、推論6: "「そのテーマ画は内示するけどそれは提言すらない」ということは偽である"が導かれる
8. 事実13から、推論7: "もしも「「そのテーマ画は内示するけれど提言すらない」ということは嘘である」ということは間違いでないなら「桃山だ」ということは本当だ"が導かれる
9. 推論6と推論7から、推論8: "そのテーマ画は桃山である"が導かれる
10. 推論8と事実6から、推論9: "「この御依頼は冷め易いかあるいはそれはピアスするということはないか両方ともである」ということは偽だ"が導かれる
11. 推論4と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が否定される

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