もし「あのまゆまえLv.0は滑り難い」ということは成り立つとするとあのまいまなLv.61は取り易い
fact1: 仮にあのまゆまえLv.0が滑り難いとしたらあのまゆまえLv.0はきらめく fact2: あのみいみわLv.26は取り易い fact3: もし仮にあのまゆまえLv.0がきらめくとしたらあのまいまなLv.61は取り易い fact4: 「あのまゆまえLv.0は長ける」ということは確かだ
void -> assump1: 以下のように仮定する。「あのまゆまえLv.0は滑り難い」ということは成り立つ; fact1 & assump1 -> int1: あのまゆまえLv.0はきらめく; int1 & fact3 -> int2: あのまいまなLv.61は取り易い; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 仮にあのまゆまえLv.0が滑り難いとしたらあのまゆまえLv.0はきらめく fact2: あのみいみわLv.26は取り易い fact3: もし仮にあのまゆまえLv.0がきらめくとしたらあのまいまなLv.61は取り易い fact4: 「あのまゆまえLv.0は長ける」ということは確かだ ; $hypothesis$ = もし「あのまゆまえLv.0は滑り難い」ということは成り立つとするとあのまいまなLv.61は取り易い ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのまゆまえLv.0は滑り難い」ということは成り立つ; fact1 & assump1 -> int1: あのまゆまえLv.0はきらめく; int1 & fact3 -> int2: あのまいまなLv.61は取り易い; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; [assump1] & int2 -> hypothesis; __PROVED__