その行灯は詰め寄らない
fact1: もし「なんらかのものは戦慄する」ということは成り立てば肺機能検査だ fact2: 全てのものは詰め寄るし更に戦慄する fact3: この主日礼拝以外は詰め寄るし仏間だ
fact2 -> int1: その行灯は詰め寄るし加えて戦慄する; int1 -> hypothesis;
全ては疲れであるし加えてそれは肺機能検査である
fact4 -> int2: もしあの右下隅が戦慄するとしたらそれは肺機能検査である;
$facts$ = fact1: もし「なんらかのものは戦慄する」ということは成り立てば肺機能検査だ fact2: 全てのものは詰め寄るし更に戦慄する fact3: この主日礼拝以外は詰め寄るし仏間だ ; $hypothesis$ = その行灯は詰め寄らない ; $proof$ = 
fact2 -> int1: その行灯は詰め寄るし加えて戦慄する; int1 -> hypothesis; __DISPROVED__
事実1: もし「なんらかのものは戦慄する」ということは成り立てば肺機能検査だ
事実2: 全てのものは詰め寄るし更に戦慄する
事実3: この主日礼拝以外は詰め寄るし仏間だ

仮説: その行灯は詰め寄らない
1. 事実2から、推論1: "その行灯は詰め寄るし加えて戦慄する"が導かれる
2. 推論1から、仮説が否定される

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