この上流側は会話らしくない
fact1: 仮に「何かは作劇であるということはないかまたはそれは街道脇である」ということは成り立たないとすると「それは観測しない」ということは正しい fact2: もしもあの障害時はＬＣＤ以外でないならば「このＳＡＣＯは作劇でないか街道脇であるかあるいは両方ともである」ということは間違いである fact3: もし「このＳＡＣＯは観測するがリスペリドンでない」ということは成り立たないならこの上流側は会話らしくない fact4: 仮にあの障害時はリスペリドンならば「このＳＡＣＯは熱し易い」ということは確かである fact5: もし仮にあの障害時が作劇であるとしたらこのＳＡＣＯは街道脇である fact6: この上流側は秘所だということはないとしたら「あの障害時は会話らしいがしかし熱し易くない」ということは誤りである fact7: 仮にこの上流側が秘所だとしたらあの障害時は会話らしい fact8: 「この上流側は秘所だしその上おどろおどろしい」ということは成り立たない fact9: 仮になにかは街道脇だとすると「観測するしそれはリスペリドンでない」ということは偽だ fact10: 「あの障害時は秘所であるし熱し易い」ということは嘘である fact11: このＳＡＣＯはリスペリドンでない fact12: もしもあの障害時はリスペリドンでないとすると「このＳＡＣＯは熱し易くて更にそれは秘所である」ということは嘘だ fact13: あの障害時は会話らしくない fact14: もし仮に「あの障害時は秘所だ一方で熱し易くない」ということは事実と異なるならばあの上流側は会話らしい fact15: このＳＡＣＯはリスペリドンでないなら「あの障害時は秘所だがしかし熱し易くない」ということは成り立たない
fact15 & fact11 -> int1: 「あの障害時は秘所であるが熱し易くない」ということは間違っている; int1 & fact14 -> hypothesis;
この上流側は会話らしいということはない
fact17 -> int2: もし「このＳＡＣＯは街道脇である」ということは確かであるなら「それは観測するけれどリスペリドンでない」ということは誤っている;
$facts$ = fact1: 仮に「何かは作劇であるということはないかまたはそれは街道脇である」ということは成り立たないとすると「それは観測しない」ということは正しい fact2: もしもあの障害時はＬＣＤ以外でないならば「このＳＡＣＯは作劇でないか街道脇であるかあるいは両方ともである」ということは間違いである fact3: もし「このＳＡＣＯは観測するがリスペリドンでない」ということは成り立たないならこの上流側は会話らしくない fact4: 仮にあの障害時はリスペリドンならば「このＳＡＣＯは熱し易い」ということは確かである fact5: もし仮にあの障害時が作劇であるとしたらこのＳＡＣＯは街道脇である fact6: この上流側は秘所だということはないとしたら「あの障害時は会話らしいがしかし熱し易くない」ということは誤りである fact7: 仮にこの上流側が秘所だとしたらあの障害時は会話らしい fact8: 「この上流側は秘所だしその上おどろおどろしい」ということは成り立たない fact9: 仮になにかは街道脇だとすると「観測するしそれはリスペリドンでない」ということは偽だ fact10: 「あの障害時は秘所であるし熱し易い」ということは嘘である fact11: このＳＡＣＯはリスペリドンでない fact12: もしもあの障害時はリスペリドンでないとすると「このＳＡＣＯは熱し易くて更にそれは秘所である」ということは嘘だ fact13: あの障害時は会話らしくない fact14: もし仮に「あの障害時は秘所だ一方で熱し易くない」ということは事実と異なるならばあの上流側は会話らしい fact15: このＳＡＣＯはリスペリドンでないなら「あの障害時は秘所だがしかし熱し易くない」ということは成り立たない ; $hypothesis$ = この上流側は会話らしくない ; $proof$ = 
fact15 & fact11 -> int1: 「あの障害時は秘所であるが熱し易くない」ということは間違っている; int1 & fact14 -> hypothesis; __DISPROVED__
事実1: 仮に「何かは作劇であるということはないかまたはそれは街道脇である」ということは成り立たないとすると「それは観測しない」ということは正しい
事実2: もしもあの障害時はＬＣＤ以外でないならば「このＳＡＣＯは作劇でないか街道脇であるかあるいは両方ともである」ということは間違いである
事実3: もし「このＳＡＣＯは観測するがリスペリドンでない」ということは成り立たないならこの上流側は会話らしくない
事実4: 仮にあの障害時はリスペリドンならば「このＳＡＣＯは熱し易い」ということは確かである
事実5: もし仮にあの障害時が作劇であるとしたらこのＳＡＣＯは街道脇である
事実6: この上流側は秘所だということはないとしたら「あの障害時は会話らしいがしかし熱し易くない」ということは誤りである
事実7: 仮にこの上流側が秘所だとしたらあの障害時は会話らしい
事実8: 「この上流側は秘所だしその上おどろおどろしい」ということは成り立たない
事実9: 仮になにかは街道脇だとすると「観測するしそれはリスペリドンでない」ということは偽だ
事実10: 「あの障害時は秘所であるし熱し易い」ということは嘘である
事実11: このＳＡＣＯはリスペリドンでない
事実12: もしもあの障害時はリスペリドンでないとすると「このＳＡＣＯは熱し易くて更にそれは秘所である」ということは嘘だ
事実13: あの障害時は会話らしくない
事実14: もし仮に「あの障害時は秘所だ一方で熱し易くない」ということは事実と異なるならばあの上流側は会話らしい
事実15: このＳＡＣＯはリスペリドンでないなら「あの障害時は秘所だがしかし熱し易くない」ということは成り立たない

仮説: この上流側は会話らしくない
1. 事実15と事実11から、推論1: "「あの障害時は秘所であるが熱し易くない」ということは間違っている"が導かれる
2. 推論1と事実14から、仮説が否定される

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