「この患者学が振り返るということはないしその上正大師でない」ということは成り立たない
fact1: このロブショットは決着しない fact2: 「この患者学は振り返るということはないけどそれは正大師だ」ということは成り立たない fact3: もしもこのロブショットは決着しないとすれば「この患者学は振り返るがしかし正大師であるということはない」ということは誤りだ fact4: もしこのロブショットがゼラチン様物質だとしたらこの患者学は決着する fact5: もし仮にそのマスカーは断り難くないとすれば「その漫画喫茶は久しくないしその上それは属州総督だということはない」ということは事実でない fact6: この黄は決着しない fact7: 仮に何らかの物が決着するとするとそれは振り返らなくてまた正大師であるということはない fact8: もしこのロブショットは決着しないとすると「この患者学は振り返らなくてそれにそれは正大師でない」ということは誤っている
fact8 & fact1 -> hypothesis;
fact8 & fact1 -> hypothesis;
この患者学は振り返るということはなくてそれは正大師でない
fact9 -> int1: 仮にこの患者学が決着するとすればそれは振り返るということはなくて更に正大師でない;
$facts$ = fact1: このロブショットは決着しない fact2: 「この患者学は振り返るということはないけどそれは正大師だ」ということは成り立たない fact3: もしもこのロブショットは決着しないとすれば「この患者学は振り返るがしかし正大師であるということはない」ということは誤りだ fact4: もしこのロブショットがゼラチン様物質だとしたらこの患者学は決着する fact5: もし仮にそのマスカーは断り難くないとすれば「その漫画喫茶は久しくないしその上それは属州総督だということはない」ということは事実でない fact6: この黄は決着しない fact7: 仮に何らかの物が決着するとするとそれは振り返らなくてまた正大師であるということはない fact8: もしこのロブショットは決着しないとすると「この患者学は振り返らなくてそれにそれは正大師でない」ということは誤っている ; $hypothesis$ = 「この患者学が振り返るということはないしその上正大師でない」ということは成り立たない ; $proof$ = 
fact8 & fact1 -> hypothesis; __PROVED__
事実1: このロブショットは決着しない
事実2: 「この患者学は振り返るということはないけどそれは正大師だ」ということは成り立たない
事実3: もしもこのロブショットは決着しないとすれば「この患者学は振り返るがしかし正大師であるということはない」ということは誤りだ
事実4: もしこのロブショットがゼラチン様物質だとしたらこの患者学は決着する
事実5: もし仮にそのマスカーは断り難くないとすれば「その漫画喫茶は久しくないしその上それは属州総督だということはない」ということは事実でない
事実6: この黄は決着しない
事実7: 仮に何らかの物が決着するとするとそれは振り返らなくてまた正大師であるということはない
事実8: もしこのロブショットは決着しないとすると「この患者学は振り返らなくてそれにそれは正大師でない」ということは誤っている

仮説: 「この患者学が振り返るということはないしその上正大師でない」ということは成り立たない
1. 事実8と事実1から、仮説が導かれる

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