その老唐は違反する
fact1: あの十二図はに因って居るとしたら「この非西欧は与え難くないが固し」ということは間違っている fact2: もしこの非西欧は固しとすれば「その老唐は違反しない」ということは成り立つ fact3: あの十二図はに因って居るし突き固める fact4: 「この非西欧は与え難いということはないけれど固し」ということは間違っている fact5: もし仮に「この非西欧は与え難くないしそれに固しない」ということは成り立つということはないならばその老唐は違反するということはない fact6: もしあの十二図はに因って居れば「この非西欧は与え難くないし加えてそれは固しない」ということは成り立たない
fact3 -> int1: あの十二図はに因って居る; int1 & fact6 -> int2: 「この非西欧は与え難くないしかつ固しない」ということは成り立たない; int2 & fact5 -> hypothesis;
$facts$ = fact1: あの十二図はに因って居るとしたら「この非西欧は与え難くないが固し」ということは間違っている fact2: もしこの非西欧は固しとすれば「その老唐は違反しない」ということは成り立つ fact3: あの十二図はに因って居るし突き固める fact4: 「この非西欧は与え難いということはないけれど固し」ということは間違っている fact5: もし仮に「この非西欧は与え難くないしそれに固しない」ということは成り立つということはないならばその老唐は違反するということはない fact6: もしあの十二図はに因って居れば「この非西欧は与え難くないし加えてそれは固しない」ということは成り立たない ; $hypothesis$ = その老唐は違反する ; $proof$ = 
fact3 -> int1: あの十二図はに因って居る; int1 & fact6 -> int2: 「この非西欧は与え難くないしかつ固しない」ということは成り立たない; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: あの十二図はに因って居るとしたら「この非西欧は与え難くないが固し」ということは間違っている
事実2: もしこの非西欧は固しとすれば「その老唐は違反しない」ということは成り立つ
事実3: あの十二図はに因って居るし突き固める
事実4: 「この非西欧は与え難いということはないけれど固し」ということは間違っている
事実5: もし仮に「この非西欧は与え難くないしそれに固しない」ということは成り立つということはないならばその老唐は違反するということはない
事実6: もしあの十二図はに因って居れば「この非西欧は与え難くないし加えてそれは固しない」ということは成り立たない

仮説: その老唐は違反する
1. 事実3から、推論1: "あの十二図はに因って居る"が導かれる
2. 推論1と事実6から、推論2: "「この非西欧は与え難くないしかつ固しない」ということは成り立たない"が導かれる
3. 推論2と事実5から、仮説が否定される

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