あの撥草はやばいがしかし単位組合でない
fact1: 「あの撥草はやばいけど単位組合でない」ということは正しいということはない
$facts$ = fact1: 「あの撥草はやばいけど単位組合でない」ということは正しいということはない ; $hypothesis$ = あの撥草はやばいがしかし単位組合でない ; $proof$ = 
事実1: 「あの撥草はやばいけど単位組合でない」ということは正しいということはない

仮説: あの撥草はやばいがしかし単位組合でない