この箱船はグラントだ
fact1: もしも何らかの物が所らしいし涙ぐましいならこの箱船はグラントだ fact2: 「所らしいし加えて涙ぐましい」ものはある
$facts$ = fact1: もしも何らかの物が所らしいし涙ぐましいならこの箱船はグラントだ fact2: 「所らしいし加えて涙ぐましい」ものはある ; $hypothesis$ = この箱船はグラントだ ; $proof$ = 
事実1: もしも何らかの物が所らしいし涙ぐましいならこの箱船はグラントだ
事実2: 「所らしいし加えて涙ぐましい」ものはある

仮説: この箱船はグラントだ