「筋頭で野暮ったい」物はある
fact1: 「「カフリンクスでなくて定量しない」ということは成り立たない」物はある fact2: その王女様は野暮ったい fact3: もしも「「カフリンクスでなくて定量しない」ということは成り立たない」物はあるなら「その王女様は筋頭である」ということは間違いでない
fact1 & fact3 -> int1: その王女様は筋頭である; int1 & fact2 -> int2: その王女様は筋頭であるし野暮ったい; int2 -> hypothesis;
fact1 & fact3 -> int1: {A}{a}; int1 & fact2 -> int2: ({A}{a} & {B}{a}); int2 -> hypothesis;
$facts$ = fact1: 「「カフリンクスでなくて定量しない」ということは成り立たない」物はある fact2: その王女様は野暮ったい fact3: もしも「「カフリンクスでなくて定量しない」ということは成り立たない」物はあるなら「その王女様は筋頭である」ということは間違いでない ; $hypothesis$ = 「筋頭で野暮ったい」物はある ; $proof$ = 
fact1 & fact3 -> int1: その王女様は筋頭である; int1 & fact2 -> int2: その王女様は筋頭であるし野暮ったい; int2 -> hypothesis; __PROVED__
事実1: 「「カフリンクスでなくて定量しない」ということは成り立たない」物はある
事実2: その王女様は野暮ったい
事実3: もしも「「カフリンクスでなくて定量しない」ということは成り立たない」物はあるなら「その王女様は筋頭である」ということは間違いでない

仮説: 「筋頭で野暮ったい」物はある
1. 事実1と事実3から、推論1: "その王女様は筋頭である"が導かれる
2. 推論1と事実2から、推論2: "その王女様は筋頭であるし野暮ったい"が導かれる
3. 推論2から、仮説が導かれる

よって、仮説が証明されました。