「あの授戒は高ぶり過ぎるということはないかもしくはそれは白煙であるということはない」ということは事実でない
fact1: 「あの授戒は愛しないけどアウトソーサーである」ということは嘘である fact2: 仮に「あの法人擬制説は用途以外であるかまたは普及事業だ」ということは成り立つということはないとすれば「あの授戒は用途以外でない」ということは確かだ fact3: もし「あるものは鳴き止むということはないけど指揮する」ということは正しくないならそれは用途以外だ fact4: 期待し難いかまたは古くないかもしくはどちらもであるものは他民族でない fact5: もし仮にあの弱食塩泉が揺り起こすかもしくは染み込み易くないかもしくは両方ともであるとしたらこの再仕上げは古くない fact6: もし「「とあるものは愛しないけどアウトソーサーだ」ということは正しい」ということは嘘だとしたら用途以外である fact7: あの授戒は用途以外であるならそれは高ぶり過ぎないかあるいは白煙でないかもしくはどちらもだ fact8: 仮に何らかの物は用途以外でないとすると「高ぶり過ぎないか白煙でない」ということは成り立たない fact9: この乱波が生まれ難いとすればあの弱食塩泉は揺り起こすかあるいは染み込み易くないかまたは両方だ fact10: もしも「この再仕上げは他民族であるということはない」ということは事実と異ならないならば「あの法人擬制説は用途以外であるかあるいは普及事業である」ということは間違いだ
fact6 -> int1: 「もしも「あの授戒は愛しないけれどアウトソーサーだ」ということは成り立たないとすればあの授戒は用途以外である」ということは事実である; int1 & fact1 -> int2: あの授戒は用途以外だ; int2 & fact7 -> hypothesis;
「あの授戒は高ぶり過ぎないか白煙であるということはないかもしくは両方ともだ」ということは間違いだ
fact11 -> int3: 仮にあの授戒は用途以外でないなら「高ぶり過ぎるということはないかそれは白煙でない」ということは成り立たない; fact15 -> int4: この再仕上げが期待し難いかそれは古くないかまたは両方であるならば他民族でない;
$facts$ = fact1: 「あの授戒は愛しないけどアウトソーサーである」ということは嘘である fact2: 仮に「あの法人擬制説は用途以外であるかまたは普及事業だ」ということは成り立つということはないとすれば「あの授戒は用途以外でない」ということは確かだ fact3: もし「あるものは鳴き止むということはないけど指揮する」ということは正しくないならそれは用途以外だ fact4: 期待し難いかまたは古くないかもしくはどちらもであるものは他民族でない fact5: もし仮にあの弱食塩泉が揺り起こすかもしくは染み込み易くないかもしくは両方ともであるとしたらこの再仕上げは古くない fact6: もし「「とあるものは愛しないけどアウトソーサーだ」ということは正しい」ということは嘘だとしたら用途以外である fact7: あの授戒は用途以外であるならそれは高ぶり過ぎないかあるいは白煙でないかもしくはどちらもだ fact8: 仮に何らかの物は用途以外でないとすると「高ぶり過ぎないか白煙でない」ということは成り立たない fact9: この乱波が生まれ難いとすればあの弱食塩泉は揺り起こすかあるいは染み込み易くないかまたは両方だ fact10: もしも「この再仕上げは他民族であるということはない」ということは事実と異ならないならば「あの法人擬制説は用途以外であるかあるいは普及事業である」ということは間違いだ ; $hypothesis$ = 「あの授戒は高ぶり過ぎるということはないかもしくはそれは白煙であるということはない」ということは事実でない ; $proof$ = 
fact6 -> int1: 「もしも「あの授戒は愛しないけれどアウトソーサーだ」ということは成り立たないとすればあの授戒は用途以外である」ということは事実である; int1 & fact1 -> int2: あの授戒は用途以外だ; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: 「あの授戒は愛しないけどアウトソーサーである」ということは嘘である
事実2: 仮に「あの法人擬制説は用途以外であるかまたは普及事業だ」ということは成り立つということはないとすれば「あの授戒は用途以外でない」ということは確かだ
事実3: もし「あるものは鳴き止むということはないけど指揮する」ということは正しくないならそれは用途以外だ
事実4: 期待し難いかまたは古くないかもしくはどちらもであるものは他民族でない
事実5: もし仮にあの弱食塩泉が揺り起こすかもしくは染み込み易くないかもしくは両方ともであるとしたらこの再仕上げは古くない
事実6: もし「「とあるものは愛しないけどアウトソーサーだ」ということは正しい」ということは嘘だとしたら用途以外である
事実7: あの授戒は用途以外であるならそれは高ぶり過ぎないかあるいは白煙でないかもしくはどちらもだ
事実8: 仮に何らかの物は用途以外でないとすると「高ぶり過ぎないか白煙でない」ということは成り立たない
事実9: この乱波が生まれ難いとすればあの弱食塩泉は揺り起こすかあるいは染み込み易くないかまたは両方だ
事実10: もしも「この再仕上げは他民族であるということはない」ということは事実と異ならないならば「あの法人擬制説は用途以外であるかあるいは普及事業である」ということは間違いだ

仮説: 「あの授戒は高ぶり過ぎるということはないかもしくはそれは白煙であるということはない」ということは事実でない
1. 事実6から、推論1: "「もしも「あの授戒は愛しないけれどアウトソーサーだ」ということは成り立たないとすればあの授戒は用途以外である」ということは事実である"が導かれる
2. 推論1と事実1から、推論2: "あの授戒は用途以外だ"が導かれる
3. 推論2と事実7から、仮説が否定される

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