この自腹は大屋根であるし広い
fact1: 「この自腹は甚だしない」ということは事実ならば「大屋根であるしその上広い」ということは間違いだ fact2: この自腹は甚だしない
$facts$ = fact1: 「この自腹は甚だしない」ということは事実ならば「大屋根であるしその上広い」ということは間違いだ fact2: この自腹は甚だしない ; $hypothesis$ = この自腹は大屋根であるし広い ; $proof$ = 
事実1: 「この自腹は甚だしない」ということは事実ならば「大屋根であるしその上広い」ということは間違いだ
事実2: この自腹は甚だしない

仮説: この自腹は大屋根であるし広い