「「もし仮に「麗々しいししかも職務経験でない」ということは成り立たないならば授ける」物はある」ということは事実と異なる
fact1: 仮に「なにかは麗々しい一方で職務経験だということはない」ということは嘘であるとすれば授ける fact2: もし仮に「この課外授業は職務経験だがしかし把握し辛くない」ということは間違いだとすると「それは小狡い」ということは正しい fact3: もしもこの課外授業は麗々しくないとしたら「授ける」ということは確かである fact4: 「もし仮に職務経験ならば授ける」ものはある fact5: もしこの課外授業が麗々しいけれどそれが職務経験でないとすればそれは授ける
fact1 -> int1: もしも「この課外授業は麗々しい一方で職務経験でない」ということは間違っていれば「授ける」ということは本当だ; int1 -> hypothesis;
fact1 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 仮に「なにかは麗々しい一方で職務経験だということはない」ということは嘘であるとすれば授ける fact2: もし仮に「この課外授業は職務経験だがしかし把握し辛くない」ということは間違いだとすると「それは小狡い」ということは正しい fact3: もしもこの課外授業は麗々しくないとしたら「授ける」ということは確かである fact4: 「もし仮に職務経験ならば授ける」ものはある fact5: もしこの課外授業が麗々しいけれどそれが職務経験でないとすればそれは授ける ; $hypothesis$ = 「「もし仮に「麗々しいししかも職務経験でない」ということは成り立たないならば授ける」物はある」ということは事実と異なる ; $proof$ = 
fact1 -> int1: もしも「この課外授業は麗々しい一方で職務経験でない」ということは間違っていれば「授ける」ということは本当だ; int1 -> hypothesis; __DISPROVED__
事実1: 仮に「なにかは麗々しい一方で職務経験だということはない」ということは嘘であるとすれば授ける
事実2: もし仮に「この課外授業は職務経験だがしかし把握し辛くない」ということは間違いだとすると「それは小狡い」ということは正しい
事実3: もしもこの課外授業は麗々しくないとしたら「授ける」ということは確かである
事実4: 「もし仮に職務経験ならば授ける」ものはある
事実5: もしこの課外授業が麗々しいけれどそれが職務経験でないとすればそれは授ける

仮説: 「「もし仮に「麗々しいししかも職務経験でない」ということは成り立たないならば授ける」物はある」ということは事実と異なる
1. 事実1から、推論1: "もしも「この課外授業は麗々しい一方で職務経験でない」ということは間違っていれば「授ける」ということは本当だ"が導かれる
2. 推論1から、仮説が否定される

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