この変圧器は性器でない
fact1: もしも何かは成立し難いならそれは性器だ fact2: この変圧器は性器である
fact2 -> hypothesis;
fact2 -> hypothesis;
このＳＥＭＩは性器である
fact3 -> int1: もしこのＳＥＭＩが成立し難いとすれば性器だ;
$facts$ = fact1: もしも何かは成立し難いならそれは性器だ fact2: この変圧器は性器である ; $hypothesis$ = この変圧器は性器でない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: もしも何かは成立し難いならそれは性器だ
事実2: この変圧器は性器である

仮説: この変圧器は性器でない
1. 事実2から、仮説が否定される

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