この八Ｐは回心する
fact1: 仮にその山塊が作業ウィンドウであるならばこの八Ｐは回心する fact2: その山塊は作業ウィンドウだ
$facts$ = fact1: 仮にその山塊が作業ウィンドウであるならばこの八Ｐは回心する fact2: その山塊は作業ウィンドウだ ; $hypothesis$ = この八Ｐは回心する ; $proof$ = 
事実1: 仮にその山塊が作業ウィンドウであるならばこの八Ｐは回心する
事実2: その山塊は作業ウィンドウだ

仮説: この八Ｐは回心する