「この婦人がブルーコメッツだけど四百以上でない」ということは間違いだ
fact1: あの二乗値は御めでたい fact2: 「あの周辺光束がタバコ盆だしまたそれは国公立だ」ということは誤りである fact3: 仮にあの二乗値は御めでたいとしたら「あの周辺光束はタバコ盆でないけれどそれは国公立だ」ということは誤っている fact4: もし「あの周辺光束はタバコ盆でないけど国公立である」ということは間違いだとするとこの矢はベースボールだ fact5: もしもこの矢がベースボールであるならばこの婦人はブルーコメッツであるけれど四百以上でない
fact3 & fact1 -> int1: 「あの周辺光束はタバコ盆でないが国公立である」ということは成り立たない; int1 & fact4 -> int2: この矢はベースボールだ; int2 & fact5 -> hypothesis;
fact3 & fact1 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact4 -> int2: {B}{c}; int2 & fact5 -> hypothesis;
$facts$ = fact1: あの二乗値は御めでたい fact2: 「あの周辺光束がタバコ盆だしまたそれは国公立だ」ということは誤りである fact3: 仮にあの二乗値は御めでたいとしたら「あの周辺光束はタバコ盆でないけれどそれは国公立だ」ということは誤っている fact4: もし「あの周辺光束はタバコ盆でないけど国公立である」ということは間違いだとするとこの矢はベースボールだ fact5: もしもこの矢がベースボールであるならばこの婦人はブルーコメッツであるけれど四百以上でない ; $hypothesis$ = 「この婦人がブルーコメッツだけど四百以上でない」ということは間違いだ ; $proof$ = 
fact3 & fact1 -> int1: 「あの周辺光束はタバコ盆でないが国公立である」ということは成り立たない; int1 & fact4 -> int2: この矢はベースボールだ; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: あの二乗値は御めでたい
事実2: 「あの周辺光束がタバコ盆だしまたそれは国公立だ」ということは誤りである
事実3: 仮にあの二乗値は御めでたいとしたら「あの周辺光束はタバコ盆でないけれどそれは国公立だ」ということは誤っている
事実4: もし「あの周辺光束はタバコ盆でないけど国公立である」ということは間違いだとするとこの矢はベースボールだ
事実5: もしもこの矢がベースボールであるならばこの婦人はブルーコメッツであるけれど四百以上でない

仮説: 「この婦人がブルーコメッツだけど四百以上でない」ということは間違いだ
1. 事実3と事実1から、推論1: "「あの周辺光束はタバコ盆でないが国公立である」ということは成り立たない"が導かれる
2. 推論1と事実4から、推論2: "この矢はベースボールだ"が導かれる
3. 推論2と事実5から、仮説が否定される

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