「このレンチは横槍である」ということは事実だ
fact1: もしもこのレンチが考え深いがしかしそれが悲しくないとするとそれは横槍だ fact2: このレンチは考え深いが悲しくない
$facts$ = fact1: もしもこのレンチが考え深いがしかしそれが悲しくないとするとそれは横槍だ fact2: このレンチは考え深いが悲しくない ; $hypothesis$ = 「このレンチは横槍である」ということは事実だ ; $proof$ = 
事実1: もしもこのレンチが考え深いがしかしそれが悲しくないとするとそれは横槍だ
事実2: このレンチは考え深いが悲しくない

仮説: 「このレンチは横槍である」ということは事実だ