そのスクールポリスは書き始めない
fact1: そのスクールポリスは後ろめたい fact2: もしそのスクールポリスが後ろめたいとすれば書き始める
$facts$ = fact1: そのスクールポリスは後ろめたい fact2: もしそのスクールポリスが後ろめたいとすれば書き始める ; $hypothesis$ = そのスクールポリスは書き始めない ; $proof$ = 
事実1: そのスクールポリスは後ろめたい
事実2: もしそのスクールポリスが後ろめたいとすれば書き始める

仮説: そのスクールポリスは書き始めない