このＦ塚君は定法でない一方で浮き輪だ
fact1: もしこのＦ塚君が四十人でないならば定法でないし更に浮き輪だ fact2: このＦ塚君は四十人であるということはない
$facts$ = fact1: もしこのＦ塚君が四十人でないならば定法でないし更に浮き輪だ fact2: このＦ塚君は四十人であるということはない ; $hypothesis$ = このＦ塚君は定法でない一方で浮き輪だ ; $proof$ = 
事実1: もしこのＦ塚君が四十人でないならば定法でないし更に浮き輪だ
事実2: このＦ塚君は四十人であるということはない

仮説: このＦ塚君は定法でない一方で浮き輪だ