あの禍は好ましない
fact1: もし何かは自力救済であるということはないかあるいはそれは記しないかあるいは両方ともだとしたらそれは賛成し難い fact2: あの禍は文化行政である fact3: もしもあの禍が賛成し難いとしたら好まし fact4: もしもあの禍が文化行政だとすれば自力救済でないかもしくは記すということはないかどちらもだ fact5: もしもあの禍が記さないとしたら賛成し難い
fact4 & fact2 -> int1: あの禍は自力救済だということはないか記しないかまたは両方だ; fact1 -> int2: 仮にあの禍が自力救済でないかあるいは記しないかあるいは両方ならば賛成し難い; int1 & int2 -> int3: あの禍は賛成し難い; int3 & fact3 -> hypothesis;
fact4 & fact2 -> int1: (¬{AA}{a} v ¬{AB}{a}); fact1 -> int2: (¬{AA}{a} v ¬{AB}{a}) -> {B}{a}; int1 & int2 -> int3: {B}{a}; int3 & fact3 -> hypothesis;
$facts$ = fact1: もし何かは自力救済であるということはないかあるいはそれは記しないかあるいは両方ともだとしたらそれは賛成し難い fact2: あの禍は文化行政である fact3: もしもあの禍が賛成し難いとしたら好まし fact4: もしもあの禍が文化行政だとすれば自力救済でないかもしくは記すということはないかどちらもだ fact5: もしもあの禍が記さないとしたら賛成し難い ; $hypothesis$ = あの禍は好ましない ; $proof$ = 
fact4 & fact2 -> int1: あの禍は自力救済だということはないか記しないかまたは両方だ; fact1 -> int2: 仮にあの禍が自力救済でないかあるいは記しないかあるいは両方ならば賛成し難い; int1 & int2 -> int3: あの禍は賛成し難い; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: もし何かは自力救済であるということはないかあるいはそれは記しないかあるいは両方ともだとしたらそれは賛成し難い
事実2: あの禍は文化行政である
事実3: もしもあの禍が賛成し難いとしたら好まし
事実4: もしもあの禍が文化行政だとすれば自力救済でないかもしくは記すということはないかどちらもだ
事実5: もしもあの禍が記さないとしたら賛成し難い

仮説: あの禍は好ましない
1. 事実4と事実2から、推論1: "あの禍は自力救済だということはないか記しないかまたは両方だ"が導かれる
2. 事実1から、推論2: "仮にあの禍が自力救済でないかあるいは記しないかあるいは両方ならば賛成し難い"が導かれる
3. 推論1と推論2から、推論3: "あの禍は賛成し難い"が導かれる
4. 推論3と事実3から、仮説が否定される

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