そのぴやぴくLv.78はどうして良くて宜しい
fact1: 仮にそのぴやぴくLv.78が慌ただしいならそのぴやぴくLv.78はどうして良い fact2: 仮にそのまねまよLv.43がどうして良いとしたらそのまねまよLv.43は払い切れる fact3: そのぴやぴくLv.78は慌ただしいしその上強し fact4: そのぴやぴくLv.78は宜しい
fact3 -> int1: そのぴやぴくLv.78は慌ただしい; int1 & fact1 -> int2: そのぴやぴくLv.78はどうして良い; int2 & fact4 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact4 -> hypothesis;
$facts$ = fact1: 仮にそのぴやぴくLv.78が慌ただしいならそのぴやぴくLv.78はどうして良い fact2: 仮にそのまねまよLv.43がどうして良いとしたらそのまねまよLv.43は払い切れる fact3: そのぴやぴくLv.78は慌ただしいしその上強し fact4: そのぴやぴくLv.78は宜しい ; $hypothesis$ = そのぴやぴくLv.78はどうして良くて宜しい ; $proof$ = 
fact3 -> int1: そのぴやぴくLv.78は慌ただしい; int1 & fact1 -> int2: そのぴやぴくLv.78はどうして良い; int2 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact4 -> hypothesis; __PROVED__