この比較指標は盛り付ける
fact1: あのＲＢＴは可笑しいけれどそれは用い得ない fact2: 「あのＲＢＴは可笑しいがしかしそれは用い得ない」ということは事実と異ならないとするとこの比較指標は盛り付けない
$facts$ = fact1: あのＲＢＴは可笑しいけれどそれは用い得ない fact2: 「あのＲＢＴは可笑しいがしかしそれは用い得ない」ということは事実と異ならないとするとこの比較指標は盛り付けない ; $hypothesis$ = この比較指標は盛り付ける ; $proof$ = 
事実1: あのＲＢＴは可笑しいけれどそれは用い得ない
事実2: 「あのＲＢＴは可笑しいがしかしそれは用い得ない」ということは事実と異ならないとするとこの比較指標は盛り付けない

仮説: この比較指標は盛り付ける