「「もし仮に「上映するか容喙しないかあるいは両方ともである」ということは成り立たないとすると「近侍する」ということは本当である」物はある」ということは確かでない
fact1: もし「なにかは上映するかもしくは容喙するということはない」ということは成り立たないとすればそれは近侍する fact2: もし「とある物は上映するかそれは容喙するかあるいは両方だ」ということは成り立つということはないとすれば近侍する
fact1 -> int1: 「そのホラス・ジェイコブ・リトルは上映するかまたは容喙しないかもしくは両方だ」ということは成り立つということはないとしたら近侍する; int1 -> hypothesis;
$facts$ = fact1: もし「なにかは上映するかもしくは容喙するということはない」ということは成り立たないとすればそれは近侍する fact2: もし「とある物は上映するかそれは容喙するかあるいは両方だ」ということは成り立つということはないとすれば近侍する ; $hypothesis$ = 「「もし仮に「上映するか容喙しないかあるいは両方ともである」ということは成り立たないとすると「近侍する」ということは本当である」物はある」ということは確かでない ; $proof$ = 
fact1 -> int1: 「そのホラス・ジェイコブ・リトルは上映するかまたは容喙しないかもしくは両方だ」ということは成り立つということはないとしたら近侍する; int1 -> hypothesis; __DISPROVED__
事実1: もし「なにかは上映するかもしくは容喙するということはない」ということは成り立たないとすればそれは近侍する
事実2: もし「とある物は上映するかそれは容喙するかあるいは両方だ」ということは成り立つということはないとすれば近侍する

仮説: 「「もし仮に「上映するか容喙しないかあるいは両方ともである」ということは成り立たないとすると「近侍する」ということは本当である」物はある」ということは確かでない
1. 事実1から、推論1: "「そのホラス・ジェイコブ・リトルは上映するかまたは容喙しないかもしくは両方だ」ということは成り立つということはないとしたら近侍する"が導かれる
2. 推論1から、仮説が否定される

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