あの反省会は十数年前でない
fact1: 「あの事業所業務改善評価委員会は立ち回るけれどそれは仕舞えらない」ということは間違いだ fact2: 仮に「「立ち回るがしかし仕舞えらない」ということは成り立たない」ものがあるとしたらあの反省会は十数年前だ fact3: もしなにかは仕舞えるならあの反省会は十数年前だ
fact1 -> int1: 「「立ち回るしそれに仕舞えらない」ということは間違いな」ものはある; int1 & fact2 -> hypothesis;
fact1 -> int1: (Ex): ¬({AA}x & ¬{AB}x); int1 & fact2 -> hypothesis;
$facts$ = fact1: 「あの事業所業務改善評価委員会は立ち回るけれどそれは仕舞えらない」ということは間違いだ fact2: 仮に「「立ち回るがしかし仕舞えらない」ということは成り立たない」ものがあるとしたらあの反省会は十数年前だ fact3: もしなにかは仕舞えるならあの反省会は十数年前だ ; $hypothesis$ = あの反省会は十数年前でない ; $proof$ = 
fact1 -> int1: 「「立ち回るしそれに仕舞えらない」ということは間違いな」ものはある; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: 「あの事業所業務改善評価委員会は立ち回るけれどそれは仕舞えらない」ということは間違いだ
事実2: 仮に「「立ち回るがしかし仕舞えらない」ということは成り立たない」ものがあるとしたらあの反省会は十数年前だ
事実3: もしなにかは仕舞えるならあの反省会は十数年前だ

仮説: あの反省会は十数年前でない
1. 事実1から、推論1: "「「立ち回るしそれに仕舞えらない」ということは間違いな」ものはある"が導かれる
2. 推論1と事実2から、仮説が否定される

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