「あの選択議定書は前時代でない」ということは正しい
fact1: もし仮に「「ぶっつけ本番であるし長細くない」ということは間違いである」ものがあるならあの選択議定書は前時代である fact2: 「その下界はぶっつけ本番であるがしかし長細くない」ということは間違っている fact3: もしも「何らかのものは誇りっぽくないしその上無いということはない」ということは偽であるとすると借り受ける fact4: もし仮にとある物が賑やか過ぎるとすると前時代でない fact5: 仮にとあるものが借り受けるなら賑やか過ぎる
fact2 -> int1: 「「ぶっつけ本番であるがしかし長細くない」ということは成り立たない」物はある; int1 & fact1 -> hypothesis;
fact2 -> int1: (Ex): ¬({AA}x & ¬{AB}x); int1 & fact1 -> hypothesis;
あの選択議定書は前時代でない
fact6 -> int2: 仮にあの選択議定書が賑やか過ぎるとしたらそれは前時代でない; fact8 -> int3: 「仮にあの選択議定書が借り受けるならあの選択議定書は賑やか過ぎる」ということは本当である; fact7 -> int4: もし「あの選択議定書は誇りっぽくないし加えてそれは無くない」ということは間違っているとすれば借り受ける;
$facts$ = fact1: もし仮に「「ぶっつけ本番であるし長細くない」ということは間違いである」ものがあるならあの選択議定書は前時代である fact2: 「その下界はぶっつけ本番であるがしかし長細くない」ということは間違っている fact3: もしも「何らかのものは誇りっぽくないしその上無いということはない」ということは偽であるとすると借り受ける fact4: もし仮にとある物が賑やか過ぎるとすると前時代でない fact5: 仮にとあるものが借り受けるなら賑やか過ぎる ; $hypothesis$ = 「あの選択議定書は前時代でない」ということは正しい ; $proof$ = 
fact2 -> int1: 「「ぶっつけ本番であるがしかし長細くない」ということは成り立たない」物はある; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮に「「ぶっつけ本番であるし長細くない」ということは間違いである」ものがあるならあの選択議定書は前時代である
事実2: 「その下界はぶっつけ本番であるがしかし長細くない」ということは間違っている
事実3: もしも「何らかのものは誇りっぽくないしその上無いということはない」ということは偽であるとすると借り受ける
事実4: もし仮にとある物が賑やか過ぎるとすると前時代でない
事実5: 仮にとあるものが借り受けるなら賑やか過ぎる

仮説: 「あの選択議定書は前時代でない」ということは正しい
1. 事実2から、推論1: "「「ぶっつけ本番であるがしかし長細くない」ということは成り立たない」物はある"が導かれる
2. 推論1と事実1から、仮説が否定される

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