その左サイドバックはグローバル資本だということはない
fact1: もし仮になにがしかの物が抽出・特定するならそれは空恐ろしい fact2: なにかは規範でないとすればそれはアルコール発酵であるしグローバル資本である fact3: その左サイドバックはアルコール発酵だ fact4: もしも「何らかの物は耽る一方でそれは等しくない」ということは誤りならばそれは盗み見ない fact5: この自動車部品会社は偏り易くない fact6: 「何かは表現し直すけれど誘惑しない」ということは誤りならそれはグローバル資本であるということはない fact7: なにかは空恐ろしいとすると「それは規範であるしさらにそれは抽出・特定しない」ということは本当でない fact8: 偏り易くない物があるとしたらあの入院生活は香煙で加えてそれは抽出・特定する fact9: 仮に何らかのものは表現し直さないとするとグローバル資本でない fact10: すべてのものは営業店だ fact11: もし仮になにがしかの物は単語文でないなら「規範でなくて徴求するということはない」ということは偽だ fact12: もし何らかの物が規範であるし更に空恐ろしいとしたらグローバル資本でない fact13: 営業店は単語文だということはない fact14: 「ある物は規範だということはないしそれに徴求しない」ということは偽ならそれは規範だ fact15: もしもその左サイドバックはアルコール発酵であるとすれば「それが表現し直すしその上誘惑しない」ということは嘘だ fact16: もしなにがしかの物はグローバル資本でないならば「投棄するしアルコール発酵でない」ということは成り立たない
fact15 & fact3 -> int1: 「その左サイドバックは表現し直すが誘惑しない」ということは間違っている; fact6 -> int2: もし「その左サイドバックは表現し直すけれど誘惑しない」ということは成り立たないとしたらグローバル資本であるということはない; int1 & int2 -> hypothesis;
fact15 & fact3 -> int1: ¬({AA}{a} & ¬{AB}{a}); fact6 -> int2: ¬({AA}{a} & ¬{AB}{a}) -> ¬{B}{a}; int1 & int2 -> hypothesis;
「あの入院生活は投棄するがアルコール発酵でない」ということは嘘だ
fact17 -> int3: もしも「あの入院生活は規範でないし徴求するということはない」ということは偽であるとしたら「規範である」ということは嘘でない; fact20 -> int4: もしもその左サイドバックは営業店だとすると「単語文でない」ということは本当である; fact18 -> int5: その左サイドバックは営業店である; int4 & int5 -> int6: その左サイドバックは単語文でない; fact25 -> int7: もしもその左サイドバックは単語文でないならば「規範でないしその上徴求しない」ということは成り立たない; int6 & int7 -> int8: 「その左サイドバックは規範でなくて徴求しない」ということは成り立たない; int8 -> int9: 規範でなくて徴求するということはないというものはない; int9 -> int10: 「あの入院生活は規範でないしさらに徴求しない」ということは誤りである; int3 & int10 -> int11: あの入院生活は規範である; fact23 -> int12: もし仮にあの入院生活は抽出・特定するなら「それは空恐ろしい」ということは本当だ; fact24 -> int13: 偏り易くない物はある; fact21 & int13 -> int14: あの入院生活は香煙であるし抽出・特定する; int14 -> int15: あの入院生活は抽出・特定する; int12 & int15 -> int16: あの入院生活は空恐ろしい; int11 & int16 -> int17: あの入院生活は規範であるしそれに空恐ろしい; fact22 -> int18: もし仮にあの入院生活は規範であるし空恐ろしいとするとそれはグローバル資本でない; int17 & int18 -> int19: あの入院生活はグローバル資本でない; fact19 -> int20: もしあの入院生活はグローバル資本でないとすると「投棄するし加えてアルコール発酵でない」ということは間違いだ; int19 & int20 -> hypothesis;
$facts$ = fact1: もし仮になにがしかの物が抽出・特定するならそれは空恐ろしい fact2: なにかは規範でないとすればそれはアルコール発酵であるしグローバル資本である fact3: その左サイドバックはアルコール発酵だ fact4: もしも「何らかの物は耽る一方でそれは等しくない」ということは誤りならばそれは盗み見ない fact5: この自動車部品会社は偏り易くない fact6: 「何かは表現し直すけれど誘惑しない」ということは誤りならそれはグローバル資本であるということはない fact7: なにかは空恐ろしいとすると「それは規範であるしさらにそれは抽出・特定しない」ということは本当でない fact8: 偏り易くない物があるとしたらあの入院生活は香煙で加えてそれは抽出・特定する fact9: 仮に何らかのものは表現し直さないとするとグローバル資本でない fact10: すべてのものは営業店だ fact11: もし仮になにがしかの物は単語文でないなら「規範でなくて徴求するということはない」ということは偽だ fact12: もし何らかの物が規範であるし更に空恐ろしいとしたらグローバル資本でない fact13: 営業店は単語文だということはない fact14: 「ある物は規範だということはないしそれに徴求しない」ということは偽ならそれは規範だ fact15: もしもその左サイドバックはアルコール発酵であるとすれば「それが表現し直すしその上誘惑しない」ということは嘘だ fact16: もしなにがしかの物はグローバル資本でないならば「投棄するしアルコール発酵でない」ということは成り立たない ; $hypothesis$ = その左サイドバックはグローバル資本だということはない ; $proof$ = 
fact15 & fact3 -> int1: 「その左サイドバックは表現し直すが誘惑しない」ということは間違っている; fact6 -> int2: もし「その左サイドバックは表現し直すけれど誘惑しない」ということは成り立たないとしたらグローバル資本であるということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮になにがしかの物が抽出・特定するならそれは空恐ろしい
事実2: なにかは規範でないとすればそれはアルコール発酵であるしグローバル資本である
事実3: その左サイドバックはアルコール発酵だ
事実4: もしも「何らかの物は耽る一方でそれは等しくない」ということは誤りならばそれは盗み見ない
事実5: この自動車部品会社は偏り易くない
事実6: 「何かは表現し直すけれど誘惑しない」ということは誤りならそれはグローバル資本であるということはない
事実7: なにかは空恐ろしいとすると「それは規範であるしさらにそれは抽出・特定しない」ということは本当でない
事実8: 偏り易くない物があるとしたらあの入院生活は香煙で加えてそれは抽出・特定する
事実9: 仮に何らかのものは表現し直さないとするとグローバル資本でない
事実10: すべてのものは営業店だ
事実11: もし仮になにがしかの物は単語文でないなら「規範でなくて徴求するということはない」ということは偽だ
事実12: もし何らかの物が規範であるし更に空恐ろしいとしたらグローバル資本でない
事実13: 営業店は単語文だということはない
事実14: 「ある物は規範だということはないしそれに徴求しない」ということは偽ならそれは規範だ
事実15: もしもその左サイドバックはアルコール発酵であるとすれば「それが表現し直すしその上誘惑しない」ということは嘘だ
事実16: もしなにがしかの物はグローバル資本でないならば「投棄するしアルコール発酵でない」ということは成り立たない

仮説: その左サイドバックはグローバル資本だということはない
1. 事実15と事実3から、推論1: "「その左サイドバックは表現し直すが誘惑しない」ということは間違っている"が導かれる
2. 事実6から、推論2: "もし「その左サイドバックは表現し直すけれど誘惑しない」ということは成り立たないとしたらグローバル資本であるということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。