「その同家はへらへらしなくて可笑しくない」ということは嘘である
fact1: もし「忍耐強くない」物があるならその同家はへらへらしなくてかつそれは可笑しくない fact2: 「忍耐強くない」物はある
$facts$ = fact1: もし「忍耐強くない」物があるならその同家はへらへらしなくてかつそれは可笑しくない fact2: 「忍耐強くない」物はある ; $hypothesis$ = 「その同家はへらへらしなくて可笑しくない」ということは嘘である ; $proof$ = 
事実1: もし「忍耐強くない」物があるならその同家はへらへらしなくてかつそれは可笑しくない
事実2: 「忍耐強くない」物はある

仮説: 「その同家はへらへらしなくて可笑しくない」ということは嘘である