この温度記号は凝結しない
fact1: この再分配政策はテレビシリーズだ fact2: この再分配政策は看護師関係だということはないが嘲笑する fact3: もしもその観測者が凝結するということはないならばこの温度記号は急進化する fact4: 「この再分配政策はどす黒くない」ということは正しい fact5: もしこの再分配政策が急進化しないとすればあの観測者はどす黒い fact6: 仮にこの温度記号がテレビシリーズでないが急進化するとしたらその観測者は凝結する fact7: この温度記号はテレビシリーズでないなら「その観測者は凝結しないがしかし急進化する」ということは本当である fact8: 「「この再分配政策は凝結する」ということは誤りである」ということは本当である fact9: この温度記号は急進化する fact10: もしこの再分配政策がどす黒くないとするとその観測者は急進化しないけれどそれはテレビシリーズである fact11: その逆手はどす黒くない fact12: もしもその観測者がどす黒くないとすればあの再分配政策は急進化しないけれどテレビシリーズである fact13: この温度記号はどす黒い fact14: そのヘルスは前史でないけど凝結する fact15: 「この温度記号はテレビシリーズでないけど凝結する」ということは事実であるとすれば「その観測者はどす黒い」ということは偽でない fact16: この社会教育活動は凝結する fact17: この大混乱はどす黒くない一方で一区だ fact18: もしもこの再分配政策が急進化しないとしたらその観測者はテレビシリーズでないがしかしそれはどす黒い fact19: この再分配政策は食べ易くない fact20: 仮にその観測者が急進化するということはないけどテレビシリーズであるならばあの温度記号は凝結する
fact10 & fact4 -> int1: その観測者は急進化しないけどテレビシリーズだ; int1 & fact20 -> hypothesis;
fact10 & fact4 -> int1: (¬{AA}{b} & {AB}{b}); int1 & fact20 -> hypothesis;
$facts$ = fact1: この再分配政策はテレビシリーズだ fact2: この再分配政策は看護師関係だということはないが嘲笑する fact3: もしもその観測者が凝結するということはないならばこの温度記号は急進化する fact4: 「この再分配政策はどす黒くない」ということは正しい fact5: もしこの再分配政策が急進化しないとすればあの観測者はどす黒い fact6: 仮にこの温度記号がテレビシリーズでないが急進化するとしたらその観測者は凝結する fact7: この温度記号はテレビシリーズでないなら「その観測者は凝結しないがしかし急進化する」ということは本当である fact8: 「「この再分配政策は凝結する」ということは誤りである」ということは本当である fact9: この温度記号は急進化する fact10: もしこの再分配政策がどす黒くないとするとその観測者は急進化しないけれどそれはテレビシリーズである fact11: その逆手はどす黒くない fact12: もしもその観測者がどす黒くないとすればあの再分配政策は急進化しないけれどテレビシリーズである fact13: この温度記号はどす黒い fact14: そのヘルスは前史でないけど凝結する fact15: 「この温度記号はテレビシリーズでないけど凝結する」ということは事実であるとすれば「その観測者はどす黒い」ということは偽でない fact16: この社会教育活動は凝結する fact17: この大混乱はどす黒くない一方で一区だ fact18: もしもこの再分配政策が急進化しないとしたらその観測者はテレビシリーズでないがしかしそれはどす黒い fact19: この再分配政策は食べ易くない fact20: 仮にその観測者が急進化するということはないけどテレビシリーズであるならばあの温度記号は凝結する ; $hypothesis$ = この温度記号は凝結しない ; $proof$ = 
fact10 & fact4 -> int1: その観測者は急進化しないけどテレビシリーズだ; int1 & fact20 -> hypothesis; __DISPROVED__
事実1: この再分配政策はテレビシリーズだ
事実2: この再分配政策は看護師関係だということはないが嘲笑する
事実3: もしもその観測者が凝結するということはないならばこの温度記号は急進化する
事実4: 「この再分配政策はどす黒くない」ということは正しい
事実5: もしこの再分配政策が急進化しないとすればあの観測者はどす黒い
事実6: 仮にこの温度記号がテレビシリーズでないが急進化するとしたらその観測者は凝結する
事実7: この温度記号はテレビシリーズでないなら「その観測者は凝結しないがしかし急進化する」ということは本当である
事実8: 「「この再分配政策は凝結する」ということは誤りである」ということは本当である
事実9: この温度記号は急進化する
事実10: もしこの再分配政策がどす黒くないとするとその観測者は急進化しないけれどそれはテレビシリーズである
事実11: その逆手はどす黒くない
事実12: もしもその観測者がどす黒くないとすればあの再分配政策は急進化しないけれどテレビシリーズである
事実13: この温度記号はどす黒い
事実14: そのヘルスは前史でないけど凝結する
事実15: 「この温度記号はテレビシリーズでないけど凝結する」ということは事実であるとすれば「その観測者はどす黒い」ということは偽でない
事実16: この社会教育活動は凝結する
事実17: この大混乱はどす黒くない一方で一区だ
事実18: もしもこの再分配政策が急進化しないとしたらその観測者はテレビシリーズでないがしかしそれはどす黒い
事実19: この再分配政策は食べ易くない
事実20: 仮にその観測者が急進化するということはないけどテレビシリーズであるならばあの温度記号は凝結する

仮説: この温度記号は凝結しない
1. 事実10と事実4から、推論1: "その観測者は急進化しないけどテレビシリーズだ"が導かれる
2. 推論1と事実20から、仮説が否定される

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