この編み込みは必携だ
fact1: もしこの編み込みはバン・バンであるならそれは必携である fact2: この編み込みはバン・バンだ
$facts$ = fact1: もしこの編み込みはバン・バンであるならそれは必携である fact2: この編み込みはバン・バンだ ; $hypothesis$ = この編み込みは必携だ ; $proof$ = 
事実1: もしこの編み込みはバン・バンであるならそれは必携である
事実2: この編み込みはバン・バンだ

仮説: この編み込みは必携だ