このＩＣＴＲは汚らしい
fact1: そのアデューが締めっぽくないけれどそれが把握し難いならばこのＩＣＴＲは汚らしくない fact2: そのアデューは締めっぽくないけれど把握し難い
$facts$ = fact1: そのアデューが締めっぽくないけれどそれが把握し難いならばこのＩＣＴＲは汚らしくない fact2: そのアデューは締めっぽくないけれど把握し難い ; $hypothesis$ = このＩＣＴＲは汚らしい ; $proof$ = 
事実1: そのアデューが締めっぽくないけれどそれが把握し難いならばこのＩＣＴＲは汚らしくない
事実2: そのアデューは締めっぽくないけれど把握し難い

仮説: このＩＣＴＲは汚らしい