「「この普賢真人は紳士らしくないがしかしそれは追い上げる」ということは成り立たない」ということは正しい
fact1: あの天文台は復号しない fact2: もしも「復号しない」物はあるとしたら「この普賢真人は復号するが凝固しない」ということは間違っている fact3: 「この普賢真人は惜しみ無いしまた紳士らしい」ということは本当でない fact4: あのアメリカ並みは復号しない fact5: 仮に「この普賢真人は惜しみ無いしその上紳士らしい」ということは偽ならそれは紳士らしいということはない fact6: もしとある物が追い上げないとすればそれは復号するしそれは凝固しない
fact6 -> int1: 仮にこの普賢真人が追い上げるということはないならそれは復号するしそれにそれは凝固しない; void -> assump1: 以下のように仮定する。この普賢真人は追い上げない; int1 & assump1 -> int2: この普賢真人は復号するがしかしそれは凝固しない; fact4 -> int3: なにがしかの物は復号するということはない; int3 & fact2 -> int4: 「「この普賢真人は復号するけど凝固しない」ということは真実だ」ということは誤っている; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この普賢真人は追い上げる; fact5 & fact3 -> int7: この普賢真人は紳士らしくない; int6 & int7 -> hypothesis;
$facts$ = fact1: あの天文台は復号しない fact2: もしも「復号しない」物はあるとしたら「この普賢真人は復号するが凝固しない」ということは間違っている fact3: 「この普賢真人は惜しみ無いしまた紳士らしい」ということは本当でない fact4: あのアメリカ並みは復号しない fact5: 仮に「この普賢真人は惜しみ無いしその上紳士らしい」ということは偽ならそれは紳士らしいということはない fact6: もしとある物が追い上げないとすればそれは復号するしそれは凝固しない ; $hypothesis$ = 「「この普賢真人は紳士らしくないがしかしそれは追い上げる」ということは成り立たない」ということは正しい ; $proof$ = 
fact6 -> int1: 仮にこの普賢真人が追い上げるということはないならそれは復号するしそれにそれは凝固しない; void -> assump1: 以下のように仮定する。この普賢真人は追い上げない; int1 & assump1 -> int2: この普賢真人は復号するがしかしそれは凝固しない; fact4 -> int3: なにがしかの物は復号するということはない; int3 & fact2 -> int4: 「「この普賢真人は復号するけど凝固しない」ということは真実だ」ということは誤っている; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この普賢真人は追い上げる; fact5 & fact3 -> int7: この普賢真人は紳士らしくない; int6 & int7 -> hypothesis; __DISPROVED__
事実1: あの天文台は復号しない
事実2: もしも「復号しない」物はあるとしたら「この普賢真人は復号するが凝固しない」ということは間違っている
事実3: 「この普賢真人は惜しみ無いしまた紳士らしい」ということは本当でない
事実4: あのアメリカ並みは復号しない
事実5: 仮に「この普賢真人は惜しみ無いしその上紳士らしい」ということは偽ならそれは紳士らしいということはない
事実6: もしとある物が追い上げないとすればそれは復号するしそれは凝固しない

仮説: 「「この普賢真人は紳士らしくないがしかしそれは追い上げる」ということは成り立たない」ということは正しい
1. 事実6から、推論1: "仮にこの普賢真人が追い上げるということはないならそれは復号するしそれにそれは凝固しない"が導かれる
2. 仮定1: 以下のように仮定する。この普賢真人は追い上げない
3. 推論1と仮定1から、推論2: "この普賢真人は復号するがしかしそれは凝固しない"が導かれる
4. 事実4から、推論3: "なにがしかの物は復号するということはない"が導かれる
5. 推論3と事実2から、推論4: "「「この普賢真人は復号するけど凝固しない」ということは真実だ」ということは誤っている"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この普賢真人は追い上げる"が導かれる
8. 事実5と事実3から、推論7: "この普賢真人は紳士らしくない"が導かれる
9. 推論6と推論7から、仮説が否定される

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