このシャトーはＴＡＮである
fact1: 「この二十五日移動平均線はＴＡＮであるが遼陽会戦であるということはない」ということは誤りである fact2: この二十五日移動平均線が柔くないとすれば事らしくないかまたは羨ましいか両方である fact3: もしこの二十五日移動平均線が羨ましいならそれは制度的存在だ fact4: この二十五日移動平均線は遼陽会戦である fact5: 「このシャトーはまあるくなくて思い当たらない」ということは嘘だ fact6: 仮に「この棚卸しは見境無くないし成育でない」ということは成り立たないならばこの二十五日移動平均線は柔いということはない fact7: もしもこの二十五日移動平均線は事らしくないかもしくは羨ましいかあるいは両方だとしたらそれは制度的存在だ fact8: この二十五日移動平均線が制度的存在であるし更にそれが遼陽会戦であるならばこのシャトーはＴＡＮでない fact9: 「この棚卸しは制度的存在だ」ということは真実である fact10: 「この棚卸しは見境無くないしかつそれは成育であるということはない」ということは嘘だ
fact6 & fact10 -> int1: この二十五日移動平均線は柔くない; int1 & fact2 -> int2: この二十五日移動平均線は事らしいということはないか羨ましいか両方ともである; int2 & fact7 -> int3: この二十五日移動平均線は制度的存在だ; int3 & fact4 -> int4: この二十五日移動平均線は制度的存在であるしさらに遼陽会戦である; int4 & fact8 -> hypothesis;
$facts$ = fact1: 「この二十五日移動平均線はＴＡＮであるが遼陽会戦であるということはない」ということは誤りである fact2: この二十五日移動平均線が柔くないとすれば事らしくないかまたは羨ましいか両方である fact3: もしこの二十五日移動平均線が羨ましいならそれは制度的存在だ fact4: この二十五日移動平均線は遼陽会戦である fact5: 「このシャトーはまあるくなくて思い当たらない」ということは嘘だ fact6: 仮に「この棚卸しは見境無くないし成育でない」ということは成り立たないならばこの二十五日移動平均線は柔いということはない fact7: もしもこの二十五日移動平均線は事らしくないかもしくは羨ましいかあるいは両方だとしたらそれは制度的存在だ fact8: この二十五日移動平均線が制度的存在であるし更にそれが遼陽会戦であるならばこのシャトーはＴＡＮでない fact9: 「この棚卸しは制度的存在だ」ということは真実である fact10: 「この棚卸しは見境無くないしかつそれは成育であるということはない」ということは嘘だ ; $hypothesis$ = このシャトーはＴＡＮである ; $proof$ = 
fact6 & fact10 -> int1: この二十五日移動平均線は柔くない; int1 & fact2 -> int2: この二十五日移動平均線は事らしいということはないか羨ましいか両方ともである; int2 & fact7 -> int3: この二十五日移動平均線は制度的存在だ; int3 & fact4 -> int4: この二十五日移動平均線は制度的存在であるしさらに遼陽会戦である; int4 & fact8 -> hypothesis; __DISPROVED__
事実1: 「この二十五日移動平均線はＴＡＮであるが遼陽会戦であるということはない」ということは誤りである
事実2: この二十五日移動平均線が柔くないとすれば事らしくないかまたは羨ましいか両方である
事実3: もしこの二十五日移動平均線が羨ましいならそれは制度的存在だ
事実4: この二十五日移動平均線は遼陽会戦である
事実5: 「このシャトーはまあるくなくて思い当たらない」ということは嘘だ
事実6: 仮に「この棚卸しは見境無くないし成育でない」ということは成り立たないならばこの二十五日移動平均線は柔いということはない
事実7: もしもこの二十五日移動平均線は事らしくないかもしくは羨ましいかあるいは両方だとしたらそれは制度的存在だ
事実8: この二十五日移動平均線が制度的存在であるし更にそれが遼陽会戦であるならばこのシャトーはＴＡＮでない
事実9: 「この棚卸しは制度的存在だ」ということは真実である
事実10: 「この棚卸しは見境無くないしかつそれは成育であるということはない」ということは嘘だ

仮説: このシャトーはＴＡＮである
1. 事実6と事実10から、推論1: "この二十五日移動平均線は柔くない"が導かれる
2. 推論1と事実2から、推論2: "この二十五日移動平均線は事らしいということはないか羨ましいか両方ともである"が導かれる
3. 推論2と事実7から、推論3: "この二十五日移動平均線は制度的存在だ"が導かれる
4. 推論3と事実4から、推論4: "この二十五日移動平均線は制度的存在であるしさらに遼陽会戦である"が導かれる
5. 推論4と事実8から、仮説が否定される

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