「この一般席は植樹しない」ということは成り立つ
fact1: その投票用紙は零号機でないししかも乱立しない fact2: あの七月以降は植樹する fact3: 仮にこの一般席は販売予測だということはないけれど物悲しいならば「この不顕性誤嚥は販売予測である」ということは正しい fact4: もしもなんらかの物は販売予測だとすると「それは植樹する」ということは成り立つ fact5: この一般席は植樹する fact6: この運搬人は植樹する
fact5 -> hypothesis;
fact5 -> hypothesis;
この不顕性誤嚥は植樹する
fact9 -> int1: この不顕性誤嚥は販売予測ならば「植樹する」ということは成り立つ; fact8 -> int2: ある物は零号機でなくてまた乱立しない;
$facts$ = fact1: その投票用紙は零号機でないししかも乱立しない fact2: あの七月以降は植樹する fact3: 仮にこの一般席は販売予測だということはないけれど物悲しいならば「この不顕性誤嚥は販売予測である」ということは正しい fact4: もしもなんらかの物は販売予測だとすると「それは植樹する」ということは成り立つ fact5: この一般席は植樹する fact6: この運搬人は植樹する ; $hypothesis$ = 「この一般席は植樹しない」ということは成り立つ ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: その投票用紙は零号機でないししかも乱立しない
事実2: あの七月以降は植樹する
事実3: 仮にこの一般席は販売予測だということはないけれど物悲しいならば「この不顕性誤嚥は販売予測である」ということは正しい
事実4: もしもなんらかの物は販売予測だとすると「それは植樹する」ということは成り立つ
事実5: この一般席は植樹する
事実6: この運搬人は植樹する

仮説: 「この一般席は植樹しない」ということは成り立つ
1. 事実5から、仮説が否定される

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