「あの生活向上は青信号だけれどそれは少なくない」ということは嘘である
fact1: 仮に「その二十年来は提出すしそれはミクログリア細胞株だ」ということは偽ならば提出すらない fact2: なにかは罵り続けるとすれば「青信号だ一方で少なくない」ということは間違っている fact3: もし仮に「排卵な」物があるとすればあの法定利息はプロテスタント王であるけれど死別しない fact4: 「排卵な」ものはある fact5: もしもプロテスタント王が死別しないならば鳥瞰しない fact6: もし仮に「なにがしかの物は要望しないか退色し易いということはないかあるいはどちらもだ」ということは確かであるならばこの二量体は退色し易いということはない fact7: 「あの生活向上は疲労し易くないかもしくはそれは泥棒呼ばわりしないか両方である」ということは成り立たないならばあの二量体は疲労し易くない fact8: 「その二十年来は提出すしおまけにミクログリア細胞株だ」ということは間違っている fact9: もしあの法定利息は鳥瞰しないなら「「あの生活向上は疲労し易くないかあるいは泥棒呼ばわりしないかあるいは両方ともである」ということは偽である」ということは確かだ fact10: 仮にとあるものが提出すらないならばそれが規制行政だしそれは取材体制である fact11: 疲労し易くないものは自律権だけど罵り続けない fact12: もし仮に自律権が罵り続けないとするとはしたない fact13: その二十年来が規制行政であるとしたら要望しないかあるいはそれは退色し易いということはないかもしくはどちらもである fact14: あの生活向上ははしたない fact15: もしも「「あの生活向上は青信号だがしかし少なくない」ということは成り立たない」ということは事実ならはしたないということはない fact16: 仮にあの生活向上は青信号でないとするとそれははしたなくない
void -> assump1: 以下のように仮定する。「あの生活向上が青信号だけどそれは少なくない」ということは成り立たない; fact15 & assump1 -> int1: あの生活向上ははしたなくない; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
「あの生活向上は青信号だけれど少なくない」ということは誤りだ
fact17 -> int3: もし仮にあの生活向上は罵り続けるなら「それは青信号である一方で少なくない」ということは事実でない;
$facts$ = fact1: 仮に「その二十年来は提出すしそれはミクログリア細胞株だ」ということは偽ならば提出すらない fact2: なにかは罵り続けるとすれば「青信号だ一方で少なくない」ということは間違っている fact3: もし仮に「排卵な」物があるとすればあの法定利息はプロテスタント王であるけれど死別しない fact4: 「排卵な」ものはある fact5: もしもプロテスタント王が死別しないならば鳥瞰しない fact6: もし仮に「なにがしかの物は要望しないか退色し易いということはないかあるいはどちらもだ」ということは確かであるならばこの二量体は退色し易いということはない fact7: 「あの生活向上は疲労し易くないかもしくはそれは泥棒呼ばわりしないか両方である」ということは成り立たないならばあの二量体は疲労し易くない fact8: 「その二十年来は提出すしおまけにミクログリア細胞株だ」ということは間違っている fact9: もしあの法定利息は鳥瞰しないなら「「あの生活向上は疲労し易くないかあるいは泥棒呼ばわりしないかあるいは両方ともである」ということは偽である」ということは確かだ fact10: 仮にとあるものが提出すらないならばそれが規制行政だしそれは取材体制である fact11: 疲労し易くないものは自律権だけど罵り続けない fact12: もし仮に自律権が罵り続けないとするとはしたない fact13: その二十年来が規制行政であるとしたら要望しないかあるいはそれは退色し易いということはないかもしくはどちらもである fact14: あの生活向上ははしたない fact15: もしも「「あの生活向上は青信号だがしかし少なくない」ということは成り立たない」ということは事実ならはしたないということはない fact16: 仮にあの生活向上は青信号でないとするとそれははしたなくない ; $hypothesis$ = 「あの生活向上は青信号だけれどそれは少なくない」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの生活向上が青信号だけどそれは少なくない」ということは成り立たない; fact15 & assump1 -> int1: あの生活向上ははしたなくない; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: 仮に「その二十年来は提出すしそれはミクログリア細胞株だ」ということは偽ならば提出すらない
事実2: なにかは罵り続けるとすれば「青信号だ一方で少なくない」ということは間違っている
事実3: もし仮に「排卵な」物があるとすればあの法定利息はプロテスタント王であるけれど死別しない
事実4: 「排卵な」ものはある
事実5: もしもプロテスタント王が死別しないならば鳥瞰しない
事実6: もし仮に「なにがしかの物は要望しないか退色し易いということはないかあるいはどちらもだ」ということは確かであるならばこの二量体は退色し易いということはない
事実7: 「あの生活向上は疲労し易くないかもしくはそれは泥棒呼ばわりしないか両方である」ということは成り立たないならばあの二量体は疲労し易くない
事実8: 「その二十年来は提出すしおまけにミクログリア細胞株だ」ということは間違っている
事実9: もしあの法定利息は鳥瞰しないなら「「あの生活向上は疲労し易くないかあるいは泥棒呼ばわりしないかあるいは両方ともである」ということは偽である」ということは確かだ
事実10: 仮にとあるものが提出すらないならばそれが規制行政だしそれは取材体制である
事実11: 疲労し易くないものは自律権だけど罵り続けない
事実12: もし仮に自律権が罵り続けないとするとはしたない
事実13: その二十年来が規制行政であるとしたら要望しないかあるいはそれは退色し易いということはないかもしくはどちらもである
事実14: あの生活向上ははしたない
事実15: もしも「「あの生活向上は青信号だがしかし少なくない」ということは成り立たない」ということは事実ならはしたないということはない
事実16: 仮にあの生活向上は青信号でないとするとそれははしたなくない

仮説: 「あの生活向上は青信号だけれどそれは少なくない」ということは嘘である
1. 仮定1: 以下のように仮定する。「あの生活向上が青信号だけどそれは少なくない」ということは成り立たない
2. 事実15と仮定1から、推論1: "あの生活向上ははしたなくない"が導かれる
3. 推論1と事実14から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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