この主観的要素は温泉街でない
fact1: 「何らかの物は二人する一方で達成し易くない」ということは成り立たないなら処方すらない fact2: もしなんらかのものが酸っぱいかあるいはそれが処方すらないとしたら酸っぱい fact3: もしもこの主観的要素が達成し易いとしたら処方すらない fact4: もし仮に満遍無いかあるいは易しかもしくは両方ともであるものがあるとするとあの自動射精機は工事しない fact5: あの自動射精機がデイサイトならあの同女は処方す fact6: あらゆるものは副葬品だしまた七地点だ fact7: 仮にとある物が工事しないとするとそれはデイサイトであるかあるいはそれは知的発達だ fact8: もし「あの同女はあどけない」ということは事実ならこの主観的要素はあどけない fact9: もし仮にとある物が処方すということはないとするとこの主観的要素は酸っぱいかまたはそれは処方すということはないか両方ともである fact10: 達成し易い物は処方すらない fact11: 温泉街はあどけない fact12: 「あの妻壁は黒っぽいけど易しない」ということは間違っている fact13: 何もかもは一人分であるしその上それは処方す fact14: もしなにがしかのものは二人するし達成し易いならば温泉街だ fact15: 「「黒っぽいしさらに易しない」ということは成り立たない」物があればその人気薄は易し fact16: 「知的発達でない」物はある fact17: あるものは二人するがしかし達成し易くないならば温泉街だ fact18: もし「あの同女は温泉街だということはないかもしくは一人分であるかどちらもである」ということは本当でないとするとこの主観的要素は温泉街でない
fact1 -> int1: もしも「この主観的要素は二人するけど達成し易くない」ということは間違っているとすればそれは処方すらない; void -> assump1: 以下のように仮定する。「この主観的要素は二人するがしかし達成し易くない」ということは成り立たない; int1 & assump1 -> int2: この主観的要素は処方すということはない; fact13 -> int3: 「この主観的要素は一人分であるし処方す」ということは正しい; int3 -> int4: この主観的要素は処方す; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この主観的要素は二人するがしかし達成し易くない」ということは真実だ; fact17 -> int7: もし仮にこの主観的要素は二人するがしかし達成し易くないとしたら温泉街だ; int6 & int7 -> hypothesis;
この主観的要素は酸っぱくてあどけない
fact19 -> int8: もし仮にこの主観的要素が酸っぱいかもしくはそれは処方すらないかまたはどちらもだとすればそれは酸っぱい; fact22 -> int9: あの同女は温泉街であるとするとそれはあどけない;
$facts$ = fact1: 「何らかの物は二人する一方で達成し易くない」ということは成り立たないなら処方すらない fact2: もしなんらかのものが酸っぱいかあるいはそれが処方すらないとしたら酸っぱい fact3: もしもこの主観的要素が達成し易いとしたら処方すらない fact4: もし仮に満遍無いかあるいは易しかもしくは両方ともであるものがあるとするとあの自動射精機は工事しない fact5: あの自動射精機がデイサイトならあの同女は処方す fact6: あらゆるものは副葬品だしまた七地点だ fact7: 仮にとある物が工事しないとするとそれはデイサイトであるかあるいはそれは知的発達だ fact8: もし「あの同女はあどけない」ということは事実ならこの主観的要素はあどけない fact9: もし仮にとある物が処方すということはないとするとこの主観的要素は酸っぱいかまたはそれは処方すということはないか両方ともである fact10: 達成し易い物は処方すらない fact11: 温泉街はあどけない fact12: 「あの妻壁は黒っぽいけど易しない」ということは間違っている fact13: 何もかもは一人分であるしその上それは処方す fact14: もしなにがしかのものは二人するし達成し易いならば温泉街だ fact15: 「「黒っぽいしさらに易しない」ということは成り立たない」物があればその人気薄は易し fact16: 「知的発達でない」物はある fact17: あるものは二人するがしかし達成し易くないならば温泉街だ fact18: もし「あの同女は温泉街だということはないかもしくは一人分であるかどちらもである」ということは本当でないとするとこの主観的要素は温泉街でない ; $hypothesis$ = この主観的要素は温泉街でない ; $proof$ = 
fact1 -> int1: もしも「この主観的要素は二人するけど達成し易くない」ということは間違っているとすればそれは処方すらない; void -> assump1: 以下のように仮定する。「この主観的要素は二人するがしかし達成し易くない」ということは成り立たない; int1 & assump1 -> int2: この主観的要素は処方すということはない; fact13 -> int3: 「この主観的要素は一人分であるし処方す」ということは正しい; int3 -> int4: この主観的要素は処方す; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この主観的要素は二人するがしかし達成し易くない」ということは真実だ; fact17 -> int7: もし仮にこの主観的要素は二人するがしかし達成し易くないとしたら温泉街だ; int6 & int7 -> hypothesis; __DISPROVED__
事実1: 「何らかの物は二人する一方で達成し易くない」ということは成り立たないなら処方すらない
事実2: もしなんらかのものが酸っぱいかあるいはそれが処方すらないとしたら酸っぱい
事実3: もしもこの主観的要素が達成し易いとしたら処方すらない
事実4: もし仮に満遍無いかあるいは易しかもしくは両方ともであるものがあるとするとあの自動射精機は工事しない
事実5: あの自動射精機がデイサイトならあの同女は処方す
事実6: あらゆるものは副葬品だしまた七地点だ
事実7: 仮にとある物が工事しないとするとそれはデイサイトであるかあるいはそれは知的発達だ
事実8: もし「あの同女はあどけない」ということは事実ならこの主観的要素はあどけない
事実9: もし仮にとある物が処方すということはないとするとこの主観的要素は酸っぱいかまたはそれは処方すということはないか両方ともである
事実10: 達成し易い物は処方すらない
事実11: 温泉街はあどけない
事実12: 「あの妻壁は黒っぽいけど易しない」ということは間違っている
事実13: 何もかもは一人分であるしその上それは処方す
事実14: もしなにがしかのものは二人するし達成し易いならば温泉街だ
事実15: 「「黒っぽいしさらに易しない」ということは成り立たない」物があればその人気薄は易し
事実16: 「知的発達でない」物はある
事実17: あるものは二人するがしかし達成し易くないならば温泉街だ
事実18: もし「あの同女は温泉街だということはないかもしくは一人分であるかどちらもである」ということは本当でないとするとこの主観的要素は温泉街でない

仮説: この主観的要素は温泉街でない
1. 事実1から、推論1: "もしも「この主観的要素は二人するけど達成し易くない」ということは間違っているとすればそれは処方すらない"が導かれる
2. 仮定1: 以下のように仮定する。「この主観的要素は二人するがしかし達成し易くない」ということは成り立たない
3. 推論1と仮定1から、推論2: "この主観的要素は処方すということはない"が導かれる
4. 事実13から、推論3: "「この主観的要素は一人分であるし処方す」ということは正しい"が導かれる
5. 推論3から、推論4: "この主観的要素は処方す"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「この主観的要素は二人するがしかし達成し易くない」ということは真実だ"が導かれる
8. 事実17から、推論7: "もし仮にこの主観的要素は二人するがしかし達成し易くないとしたら温泉街だ"が導かれる
9. 推論6と推論7から、仮説が否定される

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