「その儒家は厚ぼったくないがしかしそれは公序違反だ」ということは間違っている
fact1: 仮にとある物が中都市だがしかしそれが根皮でないとするとあの膵癌は厚ぼったくない fact2: もし仮になにがしかのものが中都市だということはないとすると厚ぼったくないしおまけにそれは公序違反である fact3: 仮になにかは中都市であるとすれば「それは横断面だということはないしそれは公序違反だ」ということは偽である fact4: なにかは消化出来るとすれば申告加算する fact5: もしも根気強いということはないものは根皮であるということはないとしたら中都市でない fact6: 「中都市だしまた根皮でない」物はある fact7: もし仮にあの膵癌は厚ぼったくないなら「「その儒家は厚ぼったくないけどそれは公序違反である」ということは成り立たない」ということは成り立つ fact8: あの膵癌は消化出来る fact9: もし仮になにかは申告加算するなら掃除し易くない
fact6 & fact1 -> int1: あの膵癌は厚ぼったくない; int1 & fact7 -> hypothesis;
fact6 & fact1 -> int1: ¬{C}{a}; int1 & fact7 -> hypothesis;
「そのクランク角センサーは横断面でないがしかし公序違反である」ということは成り立たない
fact10 -> int2: もし仮にそのクランク角センサーは中都市であるならば「それは横断面でないが公序違反である」ということは成り立たない;
$facts$ = fact1: 仮にとある物が中都市だがしかしそれが根皮でないとするとあの膵癌は厚ぼったくない fact2: もし仮になにがしかのものが中都市だということはないとすると厚ぼったくないしおまけにそれは公序違反である fact3: 仮になにかは中都市であるとすれば「それは横断面だということはないしそれは公序違反だ」ということは偽である fact4: なにかは消化出来るとすれば申告加算する fact5: もしも根気強いということはないものは根皮であるということはないとしたら中都市でない fact6: 「中都市だしまた根皮でない」物はある fact7: もし仮にあの膵癌は厚ぼったくないなら「「その儒家は厚ぼったくないけどそれは公序違反である」ということは成り立たない」ということは成り立つ fact8: あの膵癌は消化出来る fact9: もし仮になにかは申告加算するなら掃除し易くない ; $hypothesis$ = 「その儒家は厚ぼったくないがしかしそれは公序違反だ」ということは間違っている ; $proof$ = 
fact6 & fact1 -> int1: あの膵癌は厚ぼったくない; int1 & fact7 -> hypothesis; __PROVED__
事実1: 仮にとある物が中都市だがしかしそれが根皮でないとするとあの膵癌は厚ぼったくない
事実2: もし仮になにがしかのものが中都市だということはないとすると厚ぼったくないしおまけにそれは公序違反である
事実3: 仮になにかは中都市であるとすれば「それは横断面だということはないしそれは公序違反だ」ということは偽である
事実4: なにかは消化出来るとすれば申告加算する
事実5: もしも根気強いということはないものは根皮であるということはないとしたら中都市でない
事実6: 「中都市だしまた根皮でない」物はある
事実7: もし仮にあの膵癌は厚ぼったくないなら「「その儒家は厚ぼったくないけどそれは公序違反である」ということは成り立たない」ということは成り立つ
事実8: あの膵癌は消化出来る
事実9: もし仮になにかは申告加算するなら掃除し易くない

仮説: 「その儒家は厚ぼったくないがしかしそれは公序違反だ」ということは間違っている
1. 事実6と事実1から、推論1: "あの膵癌は厚ぼったくない"が導かれる
2. 推論1と事実7から、仮説が導かれる

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