あの歓談は三列目だということはない
fact1: 弛み無いということはなくて高くない物は三列目でない fact2: あの歓談は賑々しくない fact3: この神経芽細胞腫は三列目である fact4: もし仮にあの歓談が賑々しくないならばそれは高くない fact5: とある物は存するけれど扱かないならばそれは人間集団である fact6: あの歓談はすっごーくない fact7: 仮にあの歓談が賑々しくないとすればそれは弛み無くなくて更に高くない fact8: 「あの政策課題は弛み無くない」ということは事実である fact9: 仮に「あの爪切りは標準装備するかまたはそれは三列目であるかもしくは両方である」ということは確かならあの歓談は三列目でない fact10: もしあの歓談がＰＣＲでないとすれば存しないしさらに三列目でない fact11: もしもあの歓談が介護状態でなくてまたそれは久米寺でないとすれば「それは賑々しい」ということは正しい fact12: あの歓談が萩市内でなくてしかも賑々しくないとしたらそれは予測し難い fact13: もしも弛み無いということはないものが高いなら三列目だ
fact7 & fact2 -> int1: あの歓談は弛み無くないしさらに高くない; fact1 -> int2: もし仮に「あの歓談は弛み無くないし高くない」ということは確かだとしたら三列目だ; int1 & int2 -> hypothesis;
fact7 & fact2 -> int1: (¬{AA}{a} & ¬{AB}{a}); fact1 -> int2: (¬{AA}{a} & ¬{AB}{a}) -> {B}{a}; int1 & int2 -> hypothesis;
あの歓談は三列目でない
$facts$ = fact1: 弛み無いということはなくて高くない物は三列目でない fact2: あの歓談は賑々しくない fact3: この神経芽細胞腫は三列目である fact4: もし仮にあの歓談が賑々しくないならばそれは高くない fact5: とある物は存するけれど扱かないならばそれは人間集団である fact6: あの歓談はすっごーくない fact7: 仮にあの歓談が賑々しくないとすればそれは弛み無くなくて更に高くない fact8: 「あの政策課題は弛み無くない」ということは事実である fact9: 仮に「あの爪切りは標準装備するかまたはそれは三列目であるかもしくは両方である」ということは確かならあの歓談は三列目でない fact10: もしあの歓談がＰＣＲでないとすれば存しないしさらに三列目でない fact11: もしもあの歓談が介護状態でなくてまたそれは久米寺でないとすれば「それは賑々しい」ということは正しい fact12: あの歓談が萩市内でなくてしかも賑々しくないとしたらそれは予測し難い fact13: もしも弛み無いということはないものが高いなら三列目だ ; $hypothesis$ = あの歓談は三列目だということはない ; $proof$ = 
fact7 & fact2 -> int1: あの歓談は弛み無くないしさらに高くない; fact1 -> int2: もし仮に「あの歓談は弛み無くないし高くない」ということは確かだとしたら三列目だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 弛み無いということはなくて高くない物は三列目でない
事実2: あの歓談は賑々しくない
事実3: この神経芽細胞腫は三列目である
事実4: もし仮にあの歓談が賑々しくないならばそれは高くない
事実5: とある物は存するけれど扱かないならばそれは人間集団である
事実6: あの歓談はすっごーくない
事実7: 仮にあの歓談が賑々しくないとすればそれは弛み無くなくて更に高くない
事実8: 「あの政策課題は弛み無くない」ということは事実である
事実9: 仮に「あの爪切りは標準装備するかまたはそれは三列目であるかもしくは両方である」ということは確かならあの歓談は三列目でない
事実10: もしあの歓談がＰＣＲでないとすれば存しないしさらに三列目でない
事実11: もしもあの歓談が介護状態でなくてまたそれは久米寺でないとすれば「それは賑々しい」ということは正しい
事実12: あの歓談が萩市内でなくてしかも賑々しくないとしたらそれは予測し難い
事実13: もしも弛み無いということはないものが高いなら三列目だ

仮説: あの歓談は三列目だということはない
1. 事実7と事実2から、推論1: "あの歓談は弛み無くないしさらに高くない"が導かれる
2. 事実1から、推論2: "もし仮に「あの歓談は弛み無くないし高くない」ということは確かだとしたら三列目だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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