あの膝裏は押し倒す
fact1: あの膝裏は打ち合うけどそれはスタンプしない fact2: もしもあの膝裏が打ち合うがしかしスタンプしないなら「それは押し倒す」ということは確かだ
$facts$ = fact1: あの膝裏は打ち合うけどそれはスタンプしない fact2: もしもあの膝裏が打ち合うがしかしスタンプしないなら「それは押し倒す」ということは確かだ ; $hypothesis$ = あの膝裏は押し倒す ; $proof$ = 
事実1: あの膝裏は打ち合うけどそれはスタンプしない
事実2: もしもあの膝裏が打ち合うがしかしスタンプしないなら「それは押し倒す」ということは確かだ

仮説: あの膝裏は押し倒す