「このタキシード姿は野太い」ということは確かだ
fact1: このタキシード姿は勤続しないがしかし届き易い fact2: 仮にこのタキシード姿は勤続しないがしかし届き易いとすればそれは野太くない
$facts$ = fact1: このタキシード姿は勤続しないがしかし届き易い fact2: 仮にこのタキシード姿は勤続しないがしかし届き易いとすればそれは野太くない ; $hypothesis$ = 「このタキシード姿は野太い」ということは確かだ ; $proof$ = 
事実1: このタキシード姿は勤続しないがしかし届き易い
事実2: 仮にこのタキシード姿は勤続しないがしかし届き易いとすればそれは野太くない

仮説: 「このタキシード姿は野太い」ということは確かだ