「もしこの身元保証契約がＳチェックポイント機構でないとしたらこの身元保証契約は高校教師である」ということは誤りだ
fact1: 仮になんらかの物が侵攻するとすると林・草原・田である fact2: もしもこの身元保証契約はＳチェックポイント機構であるとするとそれは高校教師だ fact3: もし仮になんらかの物がＳチェックポイント機構だとすれば高校教師だ fact4: なんらかのものはＳチェックポイント機構でないならそれは高校教師である
fact4 -> hypothesis;
fact4 -> hypothesis;
$facts$ = fact1: 仮になんらかの物が侵攻するとすると林・草原・田である fact2: もしもこの身元保証契約はＳチェックポイント機構であるとするとそれは高校教師だ fact3: もし仮になんらかの物がＳチェックポイント機構だとすれば高校教師だ fact4: なんらかのものはＳチェックポイント機構でないならそれは高校教師である ; $hypothesis$ = 「もしこの身元保証契約がＳチェックポイント機構でないとしたらこの身元保証契約は高校教師である」ということは誤りだ ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: 仮になんらかの物が侵攻するとすると林・草原・田である
事実2: もしもこの身元保証契約はＳチェックポイント機構であるとするとそれは高校教師だ
事実3: もし仮になんらかの物がＳチェックポイント機構だとすれば高校教師だ
事実4: なんらかのものはＳチェックポイント機構でないならそれは高校教師である

仮説: 「もしこの身元保証契約がＳチェックポイント機構でないとしたらこの身元保証契約は高校教師である」ということは誤りだ
1. 事実4から、仮説が否定される

よって、仮説が否定されました。