「このもにもちょLv.15は取れ易くない」ということは事実である
fact1: もしあのまよまなLv.46がねちっこくなくて古臭くないとすればこのもにもちょLv.15は取れ易い fact2: あのまよまなLv.46は報ずる fact3: もし仮にこのまにょまちょLv.40が報ぜないとするとあのまよまなLv.46はねちっこいということはないしおまけに古臭くない fact4: あのまよまなLv.46は古臭いしそれはねちっこい fact5: このみわみにLv.53は報ずる fact6: あのまよまなLv.46は取れ易い fact7: あのまよまなLv.46が古臭いしかつ報ずるとするとこのもにもちょLv.15は取れ易くない
fact4 -> int1: あのまよまなLv.46は古臭い; int1 & fact2 -> int2: あのまよまなLv.46は古臭くてかつそれは報ずる; int2 & fact7 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact2 -> int2: ({A}{a} & {C}{a}); int2 & fact7 -> hypothesis;
このもにもちょLv.15は取れ易い
$facts$ = fact1: もしあのまよまなLv.46がねちっこくなくて古臭くないとすればこのもにもちょLv.15は取れ易い fact2: あのまよまなLv.46は報ずる fact3: もし仮にこのまにょまちょLv.40が報ぜないとするとあのまよまなLv.46はねちっこいということはないしおまけに古臭くない fact4: あのまよまなLv.46は古臭いしそれはねちっこい fact5: このみわみにLv.53は報ずる fact6: あのまよまなLv.46は取れ易い fact7: あのまよまなLv.46が古臭いしかつ報ずるとするとこのもにもちょLv.15は取れ易くない ; $hypothesis$ = 「このもにもちょLv.15は取れ易くない」ということは事実である ; $proof$ = 
fact4 -> int1: あのまよまなLv.46は古臭い; int1 & fact2 -> int2: あのまよまなLv.46は古臭くてかつそれは報ずる; int2 & fact7 -> hypothesis; __PROVED__
fact4 -> int1: {A}{a}; int1 & fact2 -> int2: ({A}{a} & {C}{a}); int2 & fact7 -> hypothesis; __PROVED__