「あの校長職はにやにやしない」ということは確かだ
fact1: もし「あるものは狙われ易いがしかし当裁判所でない」ということは成り立たないとしたらそれはにやにやしない fact2: このガウンは狙われ易いということはない fact3: あの校長職は恐ろしくない fact4: もしあの校長職は恐ろしくないなら「狙われ易いしかつ当裁判所でない」ということは成り立たない
fact1 -> int1: もし仮に「あの校長職は狙われ易いけど当裁判所でない」ということは成り立たないとすればそれはにやにやしない; fact3 & fact4 -> int2: 「あの校長職は狙われ易いけど当裁判所だということはない」ということは誤っている; int1 & int2 -> hypothesis;
fact1 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; fact3 & fact4 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
$facts$ = fact1: もし「あるものは狙われ易いがしかし当裁判所でない」ということは成り立たないとしたらそれはにやにやしない fact2: このガウンは狙われ易いということはない fact3: あの校長職は恐ろしくない fact4: もしあの校長職は恐ろしくないなら「狙われ易いしかつ当裁判所でない」ということは成り立たない ; $hypothesis$ = 「あの校長職はにやにやしない」ということは確かだ ; $proof$ = 
fact1 -> int1: もし仮に「あの校長職は狙われ易いけど当裁判所でない」ということは成り立たないとすればそれはにやにやしない; fact3 & fact4 -> int2: 「あの校長職は狙われ易いけど当裁判所だということはない」ということは誤っている; int1 & int2 -> hypothesis; __PROVED__
事実1: もし「あるものは狙われ易いがしかし当裁判所でない」ということは成り立たないとしたらそれはにやにやしない
事実2: このガウンは狙われ易いということはない
事実3: あの校長職は恐ろしくない
事実4: もしあの校長職は恐ろしくないなら「狙われ易いしかつ当裁判所でない」ということは成り立たない

仮説: 「あの校長職はにやにやしない」ということは確かだ
1. 事実1から、推論1: "もし仮に「あの校長職は狙われ易いけど当裁判所でない」ということは成り立たないとすればそれはにやにやしない"が導かれる
2. 事実3と事実4から、推論2: "「あの校長職は狙われ易いけど当裁判所だということはない」ということは誤っている"が導かれる
3. 推論1と推論2から、仮説が導かれる

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