その主要財務諸表は自給自足する
fact1: もし仮にこのパーソナリティー類型が実体化しないとしたらそれは説明為さるかあるいはそれは昇段でない fact2: 仮に「この各党は掻き易くないが頼もしい」ということは誤りだとしたらその主要財務諸表は自給自足するということはない fact3: 仮にこの各党が頼もしくないならその主要財務諸表は自給自足しない fact4: もしもこの各党が掻き易くないとしたらその主要財務諸表は自給自足するし加えて折り上げる fact5: 仮にあの岡田委員が昇段でないし頼もしくないならこの各党は掻き易くない fact6: 「もし仮にある物は折り上げるということはないなら「この各党は掻き易くないが頼もしい」ということは事実と異なる」ということは成り立つ fact7: 「折り上げない」物はある
fact7 & fact6 -> int1: 「「この各党は掻き易くないがしかし頼もしい」ということは事実でない」ということは本当だ; int1 & fact2 -> hypothesis;
fact7 & fact6 -> int1: ¬(¬{B}{a} & {C}{a}); int1 & fact2 -> hypothesis;
その主要財務諸表は自給自足する
$facts$ = fact1: もし仮にこのパーソナリティー類型が実体化しないとしたらそれは説明為さるかあるいはそれは昇段でない fact2: 仮に「この各党は掻き易くないが頼もしい」ということは誤りだとしたらその主要財務諸表は自給自足するということはない fact3: 仮にこの各党が頼もしくないならその主要財務諸表は自給自足しない fact4: もしもこの各党が掻き易くないとしたらその主要財務諸表は自給自足するし加えて折り上げる fact5: 仮にあの岡田委員が昇段でないし頼もしくないならこの各党は掻き易くない fact6: 「もし仮にある物は折り上げるということはないなら「この各党は掻き易くないが頼もしい」ということは事実と異なる」ということは成り立つ fact7: 「折り上げない」物はある ; $hypothesis$ = その主要財務諸表は自給自足する ; $proof$ = 
fact7 & fact6 -> int1: 「「この各党は掻き易くないがしかし頼もしい」ということは事実でない」ということは本当だ; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮にこのパーソナリティー類型が実体化しないとしたらそれは説明為さるかあるいはそれは昇段でない
事実2: 仮に「この各党は掻き易くないが頼もしい」ということは誤りだとしたらその主要財務諸表は自給自足するということはない
事実3: 仮にこの各党が頼もしくないならその主要財務諸表は自給自足しない
事実4: もしもこの各党が掻き易くないとしたらその主要財務諸表は自給自足するし加えて折り上げる
事実5: 仮にあの岡田委員が昇段でないし頼もしくないならこの各党は掻き易くない
事実6: 「もし仮にある物は折り上げるということはないなら「この各党は掻き易くないが頼もしい」ということは事実と異なる」ということは成り立つ
事実7: 「折り上げない」物はある

仮説: その主要財務諸表は自給自足する
1. 事実7と事実6から、推論1: "「「この各党は掻き易くないがしかし頼もしい」ということは事実でない」ということは本当だ"が導かれる
2. 推論1と事実2から、仮説が否定される

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