「もしあの出目が天井部分でないけどそれが未練がましいならばあの出目は罪深くない」ということは誤りだ
fact1: もし「なにかは天井部分でないがしかし未練がましい」ということは成り立つなら罪深くない
$facts$ = fact1: もし「なにかは天井部分でないがしかし未練がましい」ということは成り立つなら罪深くない ; $hypothesis$ = 「もしあの出目が天井部分でないけどそれが未練がましいならばあの出目は罪深くない」ということは誤りだ ; $proof$ = 
事実1: もし「なにかは天井部分でないがしかし未練がましい」ということは成り立つなら罪深くない

仮説: 「もしあの出目が天井部分でないけどそれが未練がましいならばあの出目は罪深くない」ということは誤りだ