「その炭素Ｃは騒々しくないけど行われ易い」ということは事実と異なる
fact1: もし「「あの大型ジェット旅客機は陥落するかもしくは磁歪でないかあるいはどちらもである」ということは正しい」ということは成り立たないならばこの当該大株主は行われ易くない fact2: もしあの大型ジェット旅客機は参照枠でないとすると「その炭素Ｃは騒々しくないがしかしそれは行われ易い」ということは成り立つ fact3: もしこの当該大株主は行われ易くないとすれば「「その炭素Ｃは騒々しくないけれどそれは行われ易い」ということは偽だ」ということは真実である fact4: 「あの大型ジェット旅客機は陥落するかあるいは磁歪でない」ということは嘘だ
fact1 & fact4 -> int1: この当該大株主は行われ易くない; int1 & fact3 -> hypothesis;
fact1 & fact4 -> int1: ¬{B}{b}; int1 & fact3 -> hypothesis;
その炭素Ｃは騒々しくないけれど行われ易い
$facts$ = fact1: もし「「あの大型ジェット旅客機は陥落するかもしくは磁歪でないかあるいはどちらもである」ということは正しい」ということは成り立たないならばこの当該大株主は行われ易くない fact2: もしあの大型ジェット旅客機は参照枠でないとすると「その炭素Ｃは騒々しくないがしかしそれは行われ易い」ということは成り立つ fact3: もしこの当該大株主は行われ易くないとすれば「「その炭素Ｃは騒々しくないけれどそれは行われ易い」ということは偽だ」ということは真実である fact4: 「あの大型ジェット旅客機は陥落するかあるいは磁歪でない」ということは嘘だ ; $hypothesis$ = 「その炭素Ｃは騒々しくないけど行われ易い」ということは事実と異なる ; $proof$ = 
fact1 & fact4 -> int1: この当該大株主は行われ易くない; int1 & fact3 -> hypothesis; __PROVED__
事実1: もし「「あの大型ジェット旅客機は陥落するかもしくは磁歪でないかあるいはどちらもである」ということは正しい」ということは成り立たないならばこの当該大株主は行われ易くない
事実2: もしあの大型ジェット旅客機は参照枠でないとすると「その炭素Ｃは騒々しくないがしかしそれは行われ易い」ということは成り立つ
事実3: もしこの当該大株主は行われ易くないとすれば「「その炭素Ｃは騒々しくないけれどそれは行われ易い」ということは偽だ」ということは真実である
事実4: 「あの大型ジェット旅客機は陥落するかあるいは磁歪でない」ということは嘘だ

仮説: 「その炭素Ｃは騒々しくないけど行われ易い」ということは事実と異なる
1. 事実1と事実4から、推論1: "この当該大株主は行われ易くない"が導かれる
2. 推論1と事実3から、仮説が導かれる

よって、仮説が証明されました。