このぽねぽにゅLv.1は降臨するしそれは泥臭い
fact1: このぽねぽにゅLv.1は泥臭い fact2: このぽねぽにゅLv.1は割れ難いし加えて物悲しい fact3: もし仮にこのぽねぽにゅLv.1が物悲しいとすればこのぽねぽにゅLv.1は降臨する fact4: そのぴにぴいLv.21は抜け易いし降臨する
fact2 -> int1: このぽねぽにゅLv.1は物悲しい; int1 & fact3 -> int2: 「このぽねぽにゅLv.1は降臨する」ということは成り立つ; int2 & fact1 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
$facts$ = fact1: このぽねぽにゅLv.1は泥臭い fact2: このぽねぽにゅLv.1は割れ難いし加えて物悲しい fact3: もし仮にこのぽねぽにゅLv.1が物悲しいとすればこのぽねぽにゅLv.1は降臨する fact4: そのぴにぴいLv.21は抜け易いし降臨する ; $hypothesis$ = このぽねぽにゅLv.1は降臨するしそれは泥臭い ; $proof$ = 
fact2 -> int1: このぽねぽにゅLv.1は物悲しい; int1 & fact3 -> int2: 「このぽねぽにゅLv.1は降臨する」ということは成り立つ; int2 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __PROVED__