その革命勢力は爆走するかあるいは進撃する
fact1: この想像図は恙無いかもしくは爆走するかどちらもだ fact2: もし仮に「なにがしかの物は進撃するかまたはそれは爆走しない」ということは確かであるとするとそれは爆走しない fact3: 仮にその革命勢力が食塩泉ならば爆走する fact4: 仮にその第三世界は安堵し難いとしたら「その革命勢力は指導権でない」ということは本当である fact5: 仮に「その九州説は外し易い」ということは成り立つならそれは安堵し難い fact6: もしも何らかのものは指導権でないとすれば「爆走するか進撃するかもしくはどちらもだ」ということは嘘だ fact7: その革命勢力は指導権である fact8: 仮にその革命勢力は指導権であるなら爆走する fact9: その革命勢力は食塩泉であるかそれは凡夫であるかもしくは両方だ fact10: もしその革命勢力が申請するとするとそれは味気無い fact11: その第三世界は安堵し難くない fact12: もし仮に「何らかのものは安堵し難くないしおまけに逃げ去らない」ということは偽であるならそれは安堵し難い fact13: もしあの注目点が進撃するなら常態化する fact14: もしも「その第三世界は安堵し難くない」ということは正しいとするとそれは進撃するかまたはそれは爆走しない fact15: その豚ばら肉は進撃する fact16: もしその九州説は比すなら「それは外し易い」ということは確かだ
fact8 & fact7 -> int1: その革命勢力は爆走する; int1 -> hypothesis;
fact8 & fact7 -> int1: {B}{a}; int1 -> hypothesis;
「その革命勢力は爆走するかもしくはそれは進撃するか両方ともだ」ということは間違っている
fact19 -> int2: もし仮にその革命勢力は指導権であるということはないとすると「それは爆走するかもしくはそれは進撃する」ということは間違いだ; fact18 -> int3: 仮に「その第三世界は安堵し難くないし逃げ去らない」ということは本当でないならば安堵し難い;
$facts$ = fact1: この想像図は恙無いかもしくは爆走するかどちらもだ fact2: もし仮に「なにがしかの物は進撃するかまたはそれは爆走しない」ということは確かであるとするとそれは爆走しない fact3: 仮にその革命勢力が食塩泉ならば爆走する fact4: 仮にその第三世界は安堵し難いとしたら「その革命勢力は指導権でない」ということは本当である fact5: 仮に「その九州説は外し易い」ということは成り立つならそれは安堵し難い fact6: もしも何らかのものは指導権でないとすれば「爆走するか進撃するかもしくはどちらもだ」ということは嘘だ fact7: その革命勢力は指導権である fact8: 仮にその革命勢力は指導権であるなら爆走する fact9: その革命勢力は食塩泉であるかそれは凡夫であるかもしくは両方だ fact10: もしその革命勢力が申請するとするとそれは味気無い fact11: その第三世界は安堵し難くない fact12: もし仮に「何らかのものは安堵し難くないしおまけに逃げ去らない」ということは偽であるならそれは安堵し難い fact13: もしあの注目点が進撃するなら常態化する fact14: もしも「その第三世界は安堵し難くない」ということは正しいとするとそれは進撃するかまたはそれは爆走しない fact15: その豚ばら肉は進撃する fact16: もしその九州説は比すなら「それは外し易い」ということは確かだ ; $hypothesis$ = その革命勢力は爆走するかあるいは進撃する ; $proof$ = 
fact8 & fact7 -> int1: その革命勢力は爆走する; int1 -> hypothesis; __PROVED__
事実1: この想像図は恙無いかもしくは爆走するかどちらもだ
事実2: もし仮に「なにがしかの物は進撃するかまたはそれは爆走しない」ということは確かであるとするとそれは爆走しない
事実3: 仮にその革命勢力が食塩泉ならば爆走する
事実4: 仮にその第三世界は安堵し難いとしたら「その革命勢力は指導権でない」ということは本当である
事実5: 仮に「その九州説は外し易い」ということは成り立つならそれは安堵し難い
事実6: もしも何らかのものは指導権でないとすれば「爆走するか進撃するかもしくはどちらもだ」ということは嘘だ
事実7: その革命勢力は指導権である
事実8: 仮にその革命勢力は指導権であるなら爆走する
事実9: その革命勢力は食塩泉であるかそれは凡夫であるかもしくは両方だ
事実10: もしその革命勢力が申請するとするとそれは味気無い
事実11: その第三世界は安堵し難くない
事実12: もし仮に「何らかのものは安堵し難くないしおまけに逃げ去らない」ということは偽であるならそれは安堵し難い
事実13: もしあの注目点が進撃するなら常態化する
事実14: もしも「その第三世界は安堵し難くない」ということは正しいとするとそれは進撃するかまたはそれは爆走しない
事実15: その豚ばら肉は進撃する
事実16: もしその九州説は比すなら「それは外し易い」ということは確かだ

仮説: その革命勢力は爆走するかあるいは進撃する
1. 事実8と事実7から、推論1: "その革命勢力は爆走する"が導かれる
2. 推論1から、仮説が導かれる

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