この摂政職はダブルでない
fact1: もしそのアニマシオンが自然消滅するしそれが消化吸収され易いならこの万般は自然消滅しない fact2: もし「聞き取り難くて自然消滅する」物があるとするとこの摂政職はダブルだ fact3: この万般は聞き取り難い fact4: 「自然消滅する」物はある fact5: もし仮に何かはダブルであるし自然消滅するならばあの摂政職は聞き取り難い fact6: 「もしその水俣湾へどろ浚渫事件が民人でないならばそのアニマシオンは自然消滅するしさらに消化吸収され易い」ということは正しい fact7: 仮に「その水俣湾へどろ浚渫事件は空襲警報でなくて加えて深しない」ということは正しくないとすればそれは民人でない fact8: 「聞き取り難い」ものはある fact9: この万般は自然消滅する
fact3 & fact9 -> int1: この万般は聞き取り難くて自然消滅する; int1 -> int2: 「なんらかの物は聞き取り難いしかつ自然消滅する」ということは真実である; int2 & fact2 -> hypothesis;
fact3 & fact9 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact2 -> hypothesis;
この摂政職はダブルでない
$facts$ = fact1: もしそのアニマシオンが自然消滅するしそれが消化吸収され易いならこの万般は自然消滅しない fact2: もし「聞き取り難くて自然消滅する」物があるとするとこの摂政職はダブルだ fact3: この万般は聞き取り難い fact4: 「自然消滅する」物はある fact5: もし仮に何かはダブルであるし自然消滅するならばあの摂政職は聞き取り難い fact6: 「もしその水俣湾へどろ浚渫事件が民人でないならばそのアニマシオンは自然消滅するしさらに消化吸収され易い」ということは正しい fact7: 仮に「その水俣湾へどろ浚渫事件は空襲警報でなくて加えて深しない」ということは正しくないとすればそれは民人でない fact8: 「聞き取り難い」ものはある fact9: この万般は自然消滅する ; $hypothesis$ = この摂政職はダブルでない ; $proof$ = 
fact3 & fact9 -> int1: この万般は聞き取り難くて自然消滅する; int1 -> int2: 「なんらかの物は聞き取り難いしかつ自然消滅する」ということは真実である; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: もしそのアニマシオンが自然消滅するしそれが消化吸収され易いならこの万般は自然消滅しない
事実2: もし「聞き取り難くて自然消滅する」物があるとするとこの摂政職はダブルだ
事実3: この万般は聞き取り難い
事実4: 「自然消滅する」物はある
事実5: もし仮に何かはダブルであるし自然消滅するならばあの摂政職は聞き取り難い
事実6: 「もしその水俣湾へどろ浚渫事件が民人でないならばそのアニマシオンは自然消滅するしさらに消化吸収され易い」ということは正しい
事実7: 仮に「その水俣湾へどろ浚渫事件は空襲警報でなくて加えて深しない」ということは正しくないとすればそれは民人でない
事実8: 「聞き取り難い」ものはある
事実9: この万般は自然消滅する

仮説: この摂政職はダブルでない
1. 事実3と事実9から、推論1: "この万般は聞き取り難くて自然消滅する"が導かれる
2. 推論1から、推論2: "「なんらかの物は聞き取り難いしかつ自然消滅する」ということは真実である"が導かれる
3. 推論2と事実2から、仮説が否定される

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