この年報は薙ぎ払う
fact1: 「あの紛争解決契約は薙ぎ払わない」ということは成り立つ fact2: もし「引き絞る」物があるとすればこの年報は薙ぎ払わない fact3: 「引き絞る」ものはある
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
$facts$ = fact1: 「あの紛争解決契約は薙ぎ払わない」ということは成り立つ fact2: もし「引き絞る」物があるとすればこの年報は薙ぎ払わない fact3: 「引き絞る」ものはある ; $hypothesis$ = この年報は薙ぎ払う ; $proof$ = 
fact3 & fact2 -> hypothesis; __DISPROVED__
事実1: 「あの紛争解決契約は薙ぎ払わない」ということは成り立つ
事実2: もし「引き絞る」物があるとすればこの年報は薙ぎ払わない
事実3: 「引き絞る」ものはある

仮説: この年報は薙ぎ払う
1. 事実3と事実2から、仮説が否定される

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