「「保革逆転であるしカラードな」物はある」ということは誤りである
fact1: 「カラードな」物はある fact2: この党勢は伝わり易い fact3: この党勢は保革逆転だ fact4: なにかは保革逆転である fact5: 「このテレビアニメはカラードだ」ということは正しい fact6: この一欠片は保革逆転だ fact7: この党勢はカラードだ
fact3 & fact7 -> int1: この党勢は保革逆転であるししかもカラードだ; int1 -> hypothesis;
fact3 & fact7 -> int1: ({A}{a} & {B}{a}); int1 -> hypothesis;
$facts$ = fact1: 「カラードな」物はある fact2: この党勢は伝わり易い fact3: この党勢は保革逆転だ fact4: なにかは保革逆転である fact5: 「このテレビアニメはカラードだ」ということは正しい fact6: この一欠片は保革逆転だ fact7: この党勢はカラードだ ; $hypothesis$ = 「「保革逆転であるしカラードな」物はある」ということは誤りである ; $proof$ = 
fact3 & fact7 -> int1: この党勢は保革逆転であるししかもカラードだ; int1 -> hypothesis; __DISPROVED__
事実1: 「カラードな」物はある
事実2: この党勢は伝わり易い
事実3: この党勢は保革逆転だ
事実4: なにかは保革逆転である
事実5: 「このテレビアニメはカラードだ」ということは正しい
事実6: この一欠片は保革逆転だ
事実7: この党勢はカラードだ

仮説: 「「保革逆転であるしカラードな」物はある」ということは誤りである
1. 事実3と事実7から、推論1: "この党勢は保革逆転であるししかもカラードだ"が導かれる
2. 推論1から、仮説が否定される

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