あのＮＰＯ法人は低くないしそれに底堅くない
fact1: あの池田屋事件が精神医療でないとすればそれは移転すらない fact2: あの池田屋事件は精神医療であるということはない fact3: もしもなんらかの物は移転すらないとしたら「規模・構造でなくてそれにそれは慎む」ということは成り立つ fact4: もしもあの池田屋事件は規模・構造だということはないならば「あのＮＰＯ法人は低くないし底堅くない」ということは事実と異なる
fact3 -> int1: 仮にあの池田屋事件が移転すらないとするとそれは規模・構造でないしそれは慎む; fact1 & fact2 -> int2: あの池田屋事件は移転すらない; int1 & int2 -> int3: あの池田屋事件は規模・構造でないがしかしそれは慎む; int3 -> int4: あの池田屋事件は規模・構造であるということはない; int4 & fact4 -> hypothesis;
$facts$ = fact1: あの池田屋事件が精神医療でないとすればそれは移転すらない fact2: あの池田屋事件は精神医療であるということはない fact3: もしもなんらかの物は移転すらないとしたら「規模・構造でなくてそれにそれは慎む」ということは成り立つ fact4: もしもあの池田屋事件は規模・構造だということはないならば「あのＮＰＯ法人は低くないし底堅くない」ということは事実と異なる ; $hypothesis$ = あのＮＰＯ法人は低くないしそれに底堅くない ; $proof$ = 
fact3 -> int1: 仮にあの池田屋事件が移転すらないとするとそれは規模・構造でないしそれは慎む; fact1 & fact2 -> int2: あの池田屋事件は移転すらない; int1 & int2 -> int3: あの池田屋事件は規模・構造でないがしかしそれは慎む; int3 -> int4: あの池田屋事件は規模・構造であるということはない; int4 & fact4 -> hypothesis; __DISPROVED__
事実1: あの池田屋事件が精神医療でないとすればそれは移転すらない
事実2: あの池田屋事件は精神医療であるということはない
事実3: もしもなんらかの物は移転すらないとしたら「規模・構造でなくてそれにそれは慎む」ということは成り立つ
事実4: もしもあの池田屋事件は規模・構造だということはないならば「あのＮＰＯ法人は低くないし底堅くない」ということは事実と異なる

仮説: あのＮＰＯ法人は低くないしそれに底堅くない
1. 事実3から、推論1: "仮にあの池田屋事件が移転すらないとするとそれは規模・構造でないしそれは慎む"が導かれる
2. 事実1と事実2から、推論2: "あの池田屋事件は移転すらない"が導かれる
3. 推論1と推論2から、推論3: "あの池田屋事件は規模・構造でないがしかしそれは慎む"が導かれる
4. 推論3から、推論4: "あの池田屋事件は規模・構造であるということはない"が導かれる
5. 推論4と事実4から、仮説が否定される

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