その国際免許証は開創しないしまた狙い難くない
fact1: 「その活動自体はすばしっこくないかあるいはそれは逞しくないかあるいは両方だ」ということは間違っている fact2: もし仮にこの九．一一テロ事件は狙い難くないとすれば「「その国際免許証は開創しないしおまけにそれは狙い難くない」ということは偽だ」ということは成り立つ fact3: 何らかのものがぱさぱさしないならば開創しないしさらに狙い難くない fact4: 「その活動自体はすばしっこくないかあるいは逞しいということはないかまたは両方だ」ということは成り立たないとすれば「この九．一一テロ事件は狙い難くない」ということは真実だ
fact4 & fact1 -> int1: この九．一一テロ事件は狙い難くない; int1 & fact2 -> hypothesis;
fact4 & fact1 -> int1: ¬{B}{b}; int1 & fact2 -> hypothesis;
その国際免許証は開創しないし更に狙い難いということはない
fact5 -> int2: もし仮にその国際免許証がぱさぱさしないとすると開創しないしその上それは狙い難くない;
$facts$ = fact1: 「その活動自体はすばしっこくないかあるいはそれは逞しくないかあるいは両方だ」ということは間違っている fact2: もし仮にこの九．一一テロ事件は狙い難くないとすれば「「その国際免許証は開創しないしおまけにそれは狙い難くない」ということは偽だ」ということは成り立つ fact3: 何らかのものがぱさぱさしないならば開創しないしさらに狙い難くない fact4: 「その活動自体はすばしっこくないかあるいは逞しいということはないかまたは両方だ」ということは成り立たないとすれば「この九．一一テロ事件は狙い難くない」ということは真実だ ; $hypothesis$ = その国際免許証は開創しないしまた狙い難くない ; $proof$ = 
fact4 & fact1 -> int1: この九．一一テロ事件は狙い難くない; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: 「その活動自体はすばしっこくないかあるいはそれは逞しくないかあるいは両方だ」ということは間違っている
事実2: もし仮にこの九．一一テロ事件は狙い難くないとすれば「「その国際免許証は開創しないしおまけにそれは狙い難くない」ということは偽だ」ということは成り立つ
事実3: 何らかのものがぱさぱさしないならば開創しないしさらに狙い難くない
事実4: 「その活動自体はすばしっこくないかあるいは逞しいということはないかまたは両方だ」ということは成り立たないとすれば「この九．一一テロ事件は狙い難くない」ということは真実だ

仮説: その国際免許証は開創しないしまた狙い難くない
1. 事実4と事実1から、推論1: "この九．一一テロ事件は狙い難くない"が導かれる
2. 推論1と事実2から、仮説が否定される

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