「「その指導経過は照れないし起き為さらない」ということは成り立たない」ということは事実と異ならない
fact1: とある物はマニュアル化しない fact2: 仮になにかはマニュアル化するとすればそれは照れないし起き為さらない fact3: もし「マニュアル化しない」物はあるとすれば「その指導経過は照れないし起き為さるということはない」ということは成り立たない
fact1 & fact3 -> hypothesis;
fact1 & fact3 -> hypothesis;
その指導経過は照れないしかつ起き為さらない
fact4 -> int1: もしもその指導経過がマニュアル化すれば照れないしまた起き為さらない;
$facts$ = fact1: とある物はマニュアル化しない fact2: 仮になにかはマニュアル化するとすればそれは照れないし起き為さらない fact3: もし「マニュアル化しない」物はあるとすれば「その指導経過は照れないし起き為さるということはない」ということは成り立たない ; $hypothesis$ = 「「その指導経過は照れないし起き為さらない」ということは成り立たない」ということは事実と異ならない ; $proof$ = 
fact1 & fact3 -> hypothesis; __PROVED__
事実1: とある物はマニュアル化しない
事実2: 仮になにかはマニュアル化するとすればそれは照れないし起き為さらない
事実3: もし「マニュアル化しない」物はあるとすれば「その指導経過は照れないし起き為さるということはない」ということは成り立たない

仮説: 「「その指導経過は照れないし起き為さらない」ということは成り立たない」ということは事実と異ならない
1. 事実1と事実3から、仮説が導かれる

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