もし仮にあのぴちゃぴちゃLv.80が溢るとするとそのみいみねLv.94は測量する
fact1: あのぴちゃぴちゃLv.80が離れ難いとするとそれは進め易い fact2: もし仮にあのぴちゃぴちゃLv.80は溢れば「そのみいみねLv.94は黒し」ということは正しい fact3: 仮にそのみいみねLv.94が溢ればあのぴちゃぴちゃLv.80は測量する fact4: もし仮にそのみいみねLv.94は黒しとしたら「それは測量する」ということは本当である
void -> assump1: 以下のように仮定する。あのぴちゃぴちゃLv.80は溢る; fact2 & assump1 -> int1: そのみいみねLv.94は黒し; int1 & fact4 -> int2: 「そのみいみねLv.94は測量する」ということは成り立つ; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{b}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: あのぴちゃぴちゃLv.80が離れ難いとするとそれは進め易い fact2: もし仮にあのぴちゃぴちゃLv.80は溢れば「そのみいみねLv.94は黒し」ということは正しい fact3: 仮にそのみいみねLv.94が溢ればあのぴちゃぴちゃLv.80は測量する fact4: もし仮にそのみいみねLv.94は黒しとしたら「それは測量する」ということは本当である ; $hypothesis$ = もし仮にあのぴちゃぴちゃLv.80が溢るとするとそのみいみねLv.94は測量する ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぴちゃぴちゃLv.80は溢る; fact2 & assump1 -> int1: そのみいみねLv.94は黒し; int1 & fact4 -> int2: 「そのみいみねLv.94は測量する」ということは成り立つ; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{b}; [assump1] & int2 -> hypothesis; __PROVED__