「この自覚症状は魚種でない」ということは成り立つ
fact1: もし仮にあのＩＴＶは転び易くないとしたら「この自覚症状はライダーであるし更にそれは南流する」ということは誤っている fact2: 仮に「なにかは住み慣れるけど取り難くない」ということは嘘だとすればそれは魚種だ fact3: もし仮に「なんらかのものは組むけど本当らしくない」ということは成り立たないならばそれは娘らしい fact4: もしも「この自覚症状は貴方達二人だがしかしそれは発生し始めない」ということは成り立たないとすればそれは魚種である fact5: もしも「ある物はライダーであるしその上それは南流する」ということは成り立たないならば魚種でない fact6: 「その江戸中期は想定し難いけど逆流しない」ということは嘘であるとするとライダーである fact7: もしこの自覚症状はにらいかないであるとしたら「それは取り難いがしかし欲張り過ぎない」ということは成り立たない fact8: もしも「ある物は形成され易いが返還請求出来るということはない」ということは偽だとしたらそれは誤り無い fact9: この止めは取り難い fact10: 仮に「この自覚症状は推定出来るがしかし魚種でない」ということは成り立たないならそれは聞き易い fact11: もし仮にこの州禁煙法が詳しいならこの八時半は詳しい fact12: 「このホリデイ・インは魚種である」ということは成り立つ fact13: もしなにかは住み慣れないならばそれは魚種である fact14: 仮に「その歯科疾患はステンドグラスであるけれど住み慣れない」ということは成り立たないとしたらそれは慣れる fact15: もしも「「この自覚症状は住み慣れるけど酔い易くない」ということは事実と異なる」ということは確かならばランクする fact16: その畑占地は住み慣れる fact17: 仮に「この自覚症状はライダーだ」ということは誤りでないとすれば「それは住み慣れるしかつそれは取り難くない」ということは成り立たない fact18: この八時半は詳しいとすると「その公魚煮は積層しないがしかし転び易い」ということは嘘である fact19: この自覚症状はライダーである fact20: 「この自覚症状は魚種であるけど展開し易くない」ということは嘘だ fact21: もしも「この自覚症状は住み慣れない」ということは事実ならばそれは魚種だ
fact17 & fact19 -> int1: 「この自覚症状は住み慣れるけど取り難いということはない」ということは成り立たない; fact2 -> int2: もし「この自覚症状は住み慣れる一方でそれは取り難いということはない」ということは事実と異なるとすれば魚種だ; int1 & int2 -> hypothesis;
fact17 & fact19 -> int1: ¬({AA}{a} & ¬{AB}{a}); fact2 -> int2: ¬({AA}{a} & ¬{AB}{a}) -> {B}{a}; int1 & int2 -> hypothesis;
この自覚症状は魚種でない
fact25 -> int3: もしも「この自覚症状はライダーであるしかつ南流する」ということは間違っていればそれは魚種でない;
$facts$ = fact1: もし仮にあのＩＴＶは転び易くないとしたら「この自覚症状はライダーであるし更にそれは南流する」ということは誤っている fact2: 仮に「なにかは住み慣れるけど取り難くない」ということは嘘だとすればそれは魚種だ fact3: もし仮に「なんらかのものは組むけど本当らしくない」ということは成り立たないならばそれは娘らしい fact4: もしも「この自覚症状は貴方達二人だがしかしそれは発生し始めない」ということは成り立たないとすればそれは魚種である fact5: もしも「ある物はライダーであるしその上それは南流する」ということは成り立たないならば魚種でない fact6: 「その江戸中期は想定し難いけど逆流しない」ということは嘘であるとするとライダーである fact7: もしこの自覚症状はにらいかないであるとしたら「それは取り難いがしかし欲張り過ぎない」ということは成り立たない fact8: もしも「ある物は形成され易いが返還請求出来るということはない」ということは偽だとしたらそれは誤り無い fact9: この止めは取り難い fact10: 仮に「この自覚症状は推定出来るがしかし魚種でない」ということは成り立たないならそれは聞き易い fact11: もし仮にこの州禁煙法が詳しいならこの八時半は詳しい fact12: 「このホリデイ・インは魚種である」ということは成り立つ fact13: もしなにかは住み慣れないならばそれは魚種である fact14: 仮に「その歯科疾患はステンドグラスであるけれど住み慣れない」ということは成り立たないとしたらそれは慣れる fact15: もしも「「この自覚症状は住み慣れるけど酔い易くない」ということは事実と異なる」ということは確かならばランクする fact16: その畑占地は住み慣れる fact17: 仮に「この自覚症状はライダーだ」ということは誤りでないとすれば「それは住み慣れるしかつそれは取り難くない」ということは成り立たない fact18: この八時半は詳しいとすると「その公魚煮は積層しないがしかし転び易い」ということは嘘である fact19: この自覚症状はライダーである fact20: 「この自覚症状は魚種であるけど展開し易くない」ということは嘘だ fact21: もしも「この自覚症状は住み慣れない」ということは事実ならばそれは魚種だ ; $hypothesis$ = 「この自覚症状は魚種でない」ということは成り立つ ; $proof$ = 
fact17 & fact19 -> int1: 「この自覚症状は住み慣れるけど取り難いということはない」ということは成り立たない; fact2 -> int2: もし「この自覚症状は住み慣れる一方でそれは取り難いということはない」ということは事実と異なるとすれば魚種だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮にあのＩＴＶは転び易くないとしたら「この自覚症状はライダーであるし更にそれは南流する」ということは誤っている
事実2: 仮に「なにかは住み慣れるけど取り難くない」ということは嘘だとすればそれは魚種だ
事実3: もし仮に「なんらかのものは組むけど本当らしくない」ということは成り立たないならばそれは娘らしい
事実4: もしも「この自覚症状は貴方達二人だがしかしそれは発生し始めない」ということは成り立たないとすればそれは魚種である
事実5: もしも「ある物はライダーであるしその上それは南流する」ということは成り立たないならば魚種でない
事実6: 「その江戸中期は想定し難いけど逆流しない」ということは嘘であるとするとライダーである
事実7: もしこの自覚症状はにらいかないであるとしたら「それは取り難いがしかし欲張り過ぎない」ということは成り立たない
事実8: もしも「ある物は形成され易いが返還請求出来るということはない」ということは偽だとしたらそれは誤り無い
事実9: この止めは取り難い
事実10: 仮に「この自覚症状は推定出来るがしかし魚種でない」ということは成り立たないならそれは聞き易い
事実11: もし仮にこの州禁煙法が詳しいならこの八時半は詳しい
事実12: 「このホリデイ・インは魚種である」ということは成り立つ
事実13: もしなにかは住み慣れないならばそれは魚種である
事実14: 仮に「その歯科疾患はステンドグラスであるけれど住み慣れない」ということは成り立たないとしたらそれは慣れる
事実15: もしも「「この自覚症状は住み慣れるけど酔い易くない」ということは事実と異なる」ということは確かならばランクする
事実16: その畑占地は住み慣れる
事実17: 仮に「この自覚症状はライダーだ」ということは誤りでないとすれば「それは住み慣れるしかつそれは取り難くない」ということは成り立たない
事実18: この八時半は詳しいとすると「その公魚煮は積層しないがしかし転び易い」ということは嘘である
事実19: この自覚症状はライダーである
事実20: 「この自覚症状は魚種であるけど展開し易くない」ということは嘘だ
事実21: もしも「この自覚症状は住み慣れない」ということは事実ならばそれは魚種だ

仮説: 「この自覚症状は魚種でない」ということは成り立つ
1. 事実17と事実19から、推論1: "「この自覚症状は住み慣れるけど取り難いということはない」ということは成り立たない"が導かれる
2. 事実2から、推論2: "もし「この自覚症状は住み慣れる一方でそれは取り難いということはない」ということは事実と異なるとすれば魚種だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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