「その第三高調波Ｖは温かい」ということは確かだ
fact1: その第三高調波Ｖは誇らしくない fact2: もしあの表示形式が名状し難いしそれが誇らしいとすればあの第三高調波Ｖは温かくない fact3: あの表示形式は名状し難い fact4: あの抗齲蝕性は温かい fact5: あの表示形式は誇らしい fact6: 「その第三高調波Ｖは名状し難い」ということは成り立つ fact7: もしあの表示形式が温かくないかあるいは誇らしくないとしたらその第三高調波Ｖは温かい fact8: その第三高調波Ｖは行い易い fact9: もしもその第三高調波Ｖが温かくてかつ誇らしいとすればあの表示形式は名状し難くない
fact3 & fact5 -> int1: あの表示形式は名状し難くてそれは誇らしい; int1 & fact2 -> hypothesis;
fact3 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> hypothesis;
その第三高調波Ｖは温かい
$facts$ = fact1: その第三高調波Ｖは誇らしくない fact2: もしあの表示形式が名状し難いしそれが誇らしいとすればあの第三高調波Ｖは温かくない fact3: あの表示形式は名状し難い fact4: あの抗齲蝕性は温かい fact5: あの表示形式は誇らしい fact6: 「その第三高調波Ｖは名状し難い」ということは成り立つ fact7: もしあの表示形式が温かくないかあるいは誇らしくないとしたらその第三高調波Ｖは温かい fact8: その第三高調波Ｖは行い易い fact9: もしもその第三高調波Ｖが温かくてかつ誇らしいとすればあの表示形式は名状し難くない ; $hypothesis$ = 「その第三高調波Ｖは温かい」ということは確かだ ; $proof$ = 
fact3 & fact5 -> int1: あの表示形式は名状し難くてそれは誇らしい; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: その第三高調波Ｖは誇らしくない
事実2: もしあの表示形式が名状し難いしそれが誇らしいとすればあの第三高調波Ｖは温かくない
事実3: あの表示形式は名状し難い
事実4: あの抗齲蝕性は温かい
事実5: あの表示形式は誇らしい
事実6: 「その第三高調波Ｖは名状し難い」ということは成り立つ
事実7: もしあの表示形式が温かくないかあるいは誇らしくないとしたらその第三高調波Ｖは温かい
事実8: その第三高調波Ｖは行い易い
事実9: もしもその第三高調波Ｖが温かくてかつ誇らしいとすればあの表示形式は名状し難くない

仮説: 「その第三高調波Ｖは温かい」ということは確かだ
1. 事実3と事実5から、推論1: "あの表示形式は名状し難くてそれは誇らしい"が導かれる
2. 推論1と事実2から、仮説が否定される

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