「あの国語教師は汚れ易いがしかし延長するということはない」ということは偽である
fact1: 仮に「治験協力者な」ものはあるとすれば「あの国語教師は汚れ易いし延長する」ということは間違っている fact2: なんらかの物が治験協力者だとすればそれは汚れ易いしそれは延長しない fact3: 「「治験協力者である」ということは本当である」ものはある fact4: 「汚れ易い」物はある fact5: 「「あの国語教師が汚れ易いしその上延長する」ということは偽でない」ということは成り立たない fact6: もし仮になんらかの物は治験協力者だとすれば「あの国語教師は汚れ易いけれどそれは延長しない」ということは本当でない
fact3 & fact6 -> hypothesis;
fact3 & fact6 -> hypothesis;
あの国語教師は汚れ易いけれど延長するということはない
fact7 -> int1: もしあの国語教師は治験協力者であるとすると汚れ易いがしかし延長しない;
$facts$ = fact1: 仮に「治験協力者な」ものはあるとすれば「あの国語教師は汚れ易いし延長する」ということは間違っている fact2: なんらかの物が治験協力者だとすればそれは汚れ易いしそれは延長しない fact3: 「「治験協力者である」ということは本当である」ものはある fact4: 「汚れ易い」物はある fact5: 「「あの国語教師が汚れ易いしその上延長する」ということは偽でない」ということは成り立たない fact6: もし仮になんらかの物は治験協力者だとすれば「あの国語教師は汚れ易いけれどそれは延長しない」ということは本当でない ; $hypothesis$ = 「あの国語教師は汚れ易いがしかし延長するということはない」ということは偽である ; $proof$ = 
fact3 & fact6 -> hypothesis; __PROVED__
事実1: 仮に「治験協力者な」ものはあるとすれば「あの国語教師は汚れ易いし延長する」ということは間違っている
事実2: なんらかの物が治験協力者だとすればそれは汚れ易いしそれは延長しない
事実3: 「「治験協力者である」ということは本当である」ものはある
事実4: 「汚れ易い」物はある
事実5: 「「あの国語教師が汚れ易いしその上延長する」ということは偽でない」ということは成り立たない
事実6: もし仮になんらかの物は治験協力者だとすれば「あの国語教師は汚れ易いけれどそれは延長しない」ということは本当でない

仮説: 「あの国語教師は汚れ易いがしかし延長するということはない」ということは偽である
1. 事実3と事実6から、仮説が導かれる

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