「この同州は国民審査であるかもしくは同党であるかもしくは両方ともだ」ということは間違っている
fact1: この同州は近隣社会だ fact2: この同州は近隣社会であるし国民審査だ fact3: あのマウスパッドはセージであるし近隣社会だ fact4: もしもなにがしかのものは近隣社会でないとすれば「国民審査であるかまたは同党である」ということは成り立たない fact5: 「この出廷は機械化しない一方で気質だ」ということは成り立たない fact6: この同州は近隣社会であるかあるいは過ごし易いかあるいは両方だ fact7: この休木曜は近隣社会である fact8: もし「この出廷は機械化しないけれど気質だ」ということは間違いであるとすればこの同州は機械化する
fact2 -> int1: この同州は国民審査である; int1 -> hypothesis;
「この同州は国民審査であるかもしくは同党であるかあるいはどちらもである」ということは成り立たない
fact9 -> int2: もしもこの同州は近隣社会でないとすると「それは国民審査であるか同党だ」ということは成り立つということはない;
$facts$ = fact1: この同州は近隣社会だ fact2: この同州は近隣社会であるし国民審査だ fact3: あのマウスパッドはセージであるし近隣社会だ fact4: もしもなにがしかのものは近隣社会でないとすれば「国民審査であるかまたは同党である」ということは成り立たない fact5: 「この出廷は機械化しない一方で気質だ」ということは成り立たない fact6: この同州は近隣社会であるかあるいは過ごし易いかあるいは両方だ fact7: この休木曜は近隣社会である fact8: もし「この出廷は機械化しないけれど気質だ」ということは間違いであるとすればこの同州は機械化する ; $hypothesis$ = 「この同州は国民審査であるかもしくは同党であるかもしくは両方ともだ」ということは間違っている ; $proof$ = 
fact2 -> int1: この同州は国民審査である; int1 -> hypothesis; __DISPROVED__
事実1: この同州は近隣社会だ
事実2: この同州は近隣社会であるし国民審査だ
事実3: あのマウスパッドはセージであるし近隣社会だ
事実4: もしもなにがしかのものは近隣社会でないとすれば「国民審査であるかまたは同党である」ということは成り立たない
事実5: 「この出廷は機械化しない一方で気質だ」ということは成り立たない
事実6: この同州は近隣社会であるかあるいは過ごし易いかあるいは両方だ
事実7: この休木曜は近隣社会である
事実8: もし「この出廷は機械化しないけれど気質だ」ということは間違いであるとすればこの同州は機械化する

仮説: 「この同州は国民審査であるかもしくは同党であるかもしくは両方ともだ」ということは間違っている
1. 事実2から、推論1: "この同州は国民審査である"が導かれる
2. 推論1から、仮説が否定される

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