あの任意代理人は濃い
fact1: あの利息計算は買収でない fact2: 「「とあるものは漏れ易いしおまけに平たい」ということは嘘であるならば平たくない」ということは事実だ fact3: あの千九百四十八年生まれは漏れ易くない fact4: もしこの胸郭変形が御変わりでないかまたは生々しかないかもしくは両方だとするとあの任意代理人は濃くない fact5: 「この胸郭変形は真性だ」ということは成り立つ fact6: 捕らえ易いということはない物は平たい fact7: この胸郭変形は御変わりでないかまたは生々しいかあるいは両方だ fact8: もしも「なんらかの物は御変わりであるしまた買収である」ということは成り立たないならそれは買収でない fact9: 捕らえ易いということはないものは平たいということはないならば「濃い」ということは真実である fact10: 仮にこの胸郭変形が御変わりでないかまたはそれが買収だということはないならばあの利息計算は捕らえ易いということはない fact11: あの利息計算は買収でないなら「「この胸郭変形は漏れ易いし平たい」ということは偽である」ということは成り立つ fact12: 「この胸郭変形は御変わりでないかもしくは生々しいかあるいは両方である」ということは誤りであるとしたらそれは捕らえ易くない fact13: もし「この胸郭変形は御変わりでないか生々しかない」ということは誤りであるなら捕らえ易くない fact14: もしもこの胸郭変形が生々しかないとするとあの任意代理人は濃いということはない fact15: この胸郭変形は生々しい
void -> assump1: 以下のように仮定する。「この胸郭変形は御変わりでないかもしくはそれは生々しいということはないかまたは両方ともだ」ということは真実でない; fact13 & assump1 -> int1: 「この胸郭変形は捕らえ易いということはない」ということは事実と異ならない; fact6 -> int2: もしこの胸郭変形は捕らえ易くないとすれば「それは平たい」ということは真実である; int1 & int2 -> int3: この胸郭変形は平たい; fact2 -> int4: もし「「この胸郭変形は漏れ易くて平たい」ということは成り立つ」ということは成り立つということはないとするとそれは平たくない; fact1 & fact11 -> int5: 「「この胸郭変形は漏れ易いしそれに平たい」ということは成り立つ」ということは確かでない; int4 & int5 -> int6: この胸郭変形は平たくない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この胸郭変形は御変わりでないかそれは生々しかないか両方である; int8 & fact4 -> hypothesis;
あの任意代理人は濃い
fact16 -> int9: もしあの任意代理人が捕らえ易くないしそれが平たくないとすると濃い; fact17 -> int10: 「真性な」ものはある;
$facts$ = fact1: あの利息計算は買収でない fact2: 「「とあるものは漏れ易いしおまけに平たい」ということは嘘であるならば平たくない」ということは事実だ fact3: あの千九百四十八年生まれは漏れ易くない fact4: もしこの胸郭変形が御変わりでないかまたは生々しかないかもしくは両方だとするとあの任意代理人は濃くない fact5: 「この胸郭変形は真性だ」ということは成り立つ fact6: 捕らえ易いということはない物は平たい fact7: この胸郭変形は御変わりでないかまたは生々しいかあるいは両方だ fact8: もしも「なんらかの物は御変わりであるしまた買収である」ということは成り立たないならそれは買収でない fact9: 捕らえ易いということはないものは平たいということはないならば「濃い」ということは真実である fact10: 仮にこの胸郭変形が御変わりでないかまたはそれが買収だということはないならばあの利息計算は捕らえ易いということはない fact11: あの利息計算は買収でないなら「「この胸郭変形は漏れ易いし平たい」ということは偽である」ということは成り立つ fact12: 「この胸郭変形は御変わりでないかもしくは生々しいかあるいは両方である」ということは誤りであるとしたらそれは捕らえ易くない fact13: もし「この胸郭変形は御変わりでないか生々しかない」ということは誤りであるなら捕らえ易くない fact14: もしもこの胸郭変形が生々しかないとするとあの任意代理人は濃いということはない fact15: この胸郭変形は生々しい ; $hypothesis$ = あの任意代理人は濃い ; $proof$ = 
void -> assump1: 以下のように仮定する。「この胸郭変形は御変わりでないかもしくはそれは生々しいということはないかまたは両方ともだ」ということは真実でない; fact13 & assump1 -> int1: 「この胸郭変形は捕らえ易いということはない」ということは事実と異ならない; fact6 -> int2: もしこの胸郭変形は捕らえ易くないとすれば「それは平たい」ということは真実である; int1 & int2 -> int3: この胸郭変形は平たい; fact2 -> int4: もし「「この胸郭変形は漏れ易くて平たい」ということは成り立つ」ということは成り立つということはないとするとそれは平たくない; fact1 & fact11 -> int5: 「「この胸郭変形は漏れ易いしそれに平たい」ということは成り立つ」ということは確かでない; int4 & int5 -> int6: この胸郭変形は平たくない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この胸郭変形は御変わりでないかそれは生々しかないか両方である; int8 & fact4 -> hypothesis; __DISPROVED__
事実1: あの利息計算は買収でない
事実2: 「「とあるものは漏れ易いしおまけに平たい」ということは嘘であるならば平たくない」ということは事実だ
事実3: あの千九百四十八年生まれは漏れ易くない
事実4: もしこの胸郭変形が御変わりでないかまたは生々しかないかもしくは両方だとするとあの任意代理人は濃くない
事実5: 「この胸郭変形は真性だ」ということは成り立つ
事実6: 捕らえ易いということはない物は平たい
事実7: この胸郭変形は御変わりでないかまたは生々しいかあるいは両方だ
事実8: もしも「なんらかの物は御変わりであるしまた買収である」ということは成り立たないならそれは買収でない
事実9: 捕らえ易いということはないものは平たいということはないならば「濃い」ということは真実である
事実10: 仮にこの胸郭変形が御変わりでないかまたはそれが買収だということはないならばあの利息計算は捕らえ易いということはない
事実11: あの利息計算は買収でないなら「「この胸郭変形は漏れ易いし平たい」ということは偽である」ということは成り立つ
事実12: 「この胸郭変形は御変わりでないかもしくは生々しいかあるいは両方である」ということは誤りであるとしたらそれは捕らえ易くない
事実13: もし「この胸郭変形は御変わりでないか生々しかない」ということは誤りであるなら捕らえ易くない
事実14: もしもこの胸郭変形が生々しかないとするとあの任意代理人は濃いということはない
事実15: この胸郭変形は生々しい

仮説: あの任意代理人は濃い
1. 仮定1: 以下のように仮定する。「この胸郭変形は御変わりでないかもしくはそれは生々しいということはないかまたは両方ともだ」ということは真実でない
2. 事実13と仮定1から、推論1: "「この胸郭変形は捕らえ易いということはない」ということは事実と異ならない"が導かれる
3. 事実6から、推論2: "もしこの胸郭変形は捕らえ易くないとすれば「それは平たい」ということは真実である"が導かれる
4. 推論1と推論2から、推論3: "この胸郭変形は平たい"が導かれる
5. 事実2から、推論4: "もし「「この胸郭変形は漏れ易くて平たい」ということは成り立つ」ということは成り立つということはないとするとそれは平たくない"が導かれる
6. 事実1と事実11から、推論5: "「「この胸郭変形は漏れ易いしそれに平たい」ということは成り立つ」ということは確かでない"が導かれる
7. 推論4と推論5から、推論6: "この胸郭変形は平たくない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この胸郭変形は御変わりでないかそれは生々しかないか両方である"が導かれる
10. 推論8と事実4から、仮説が否定される

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