あの状態変化は冷汗だ
fact1: もし仮に「なにかは村役場だし加えて有事法案だ」ということは間違っているとしたらそれは冷汗でない fact2: 「あの状態変化は村役場でかつ有事法案だ」ということは偽である fact3: 仮にあるものは村役場でないなら冷汗でない
fact1 -> int1: もし仮に「あの状態変化は村役場であるしかつ有事法案だ」ということは嘘であるとすると冷汗でない; int1 & fact2 -> hypothesis;
$facts$ = fact1: もし仮に「なにかは村役場だし加えて有事法案だ」ということは間違っているとしたらそれは冷汗でない fact2: 「あの状態変化は村役場でかつ有事法案だ」ということは偽である fact3: 仮にあるものは村役場でないなら冷汗でない ; $hypothesis$ = あの状態変化は冷汗だ ; $proof$ = 
fact1 -> int1: もし仮に「あの状態変化は村役場であるしかつ有事法案だ」ということは嘘であるとすると冷汗でない; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮に「なにかは村役場だし加えて有事法案だ」ということは間違っているとしたらそれは冷汗でない
事実2: 「あの状態変化は村役場でかつ有事法案だ」ということは偽である
事実3: 仮にあるものは村役場でないなら冷汗でない

仮説: あの状態変化は冷汗だ
1. 事実1から、推論1: "もし仮に「あの状態変化は村役場であるしかつ有事法案だ」ということは嘘であるとすると冷汗でない"が導かれる
2. 推論1と事実2から、仮説が否定される

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