あのフルマラソンは罹患し易くない
fact1: 仮になにがしかの物が教員達でないかまたはそれが投げ終われば政府論である fact2: この紙芝居は教員達でないならば「政府論であるということはない」ということは間違っている fact3: あのフルマラソンは罹患し易いかもしくは教員達であるかもしくは両方である fact4: すべての物は教員達でないかあるいは投げ終わるかまたはどちらもである fact5: もしこの紙芝居は政府論であるとすると「あのフルマラソンは罹患し易い」ということは成り立つ
fact4 -> int1: 「この紙芝居は教員達であるということはないかまたは投げ終わる」ということは確かだ; fact1 -> int2: もしこの紙芝居が教員達であるということはないかあるいはそれは投げ終わるかもしくはどちらもだとするとそれは政府論である; int1 & int2 -> int3: この紙芝居は政府論だ; int3 & fact5 -> hypothesis;
fact4 -> int1: (¬{A}{aa} v {B}{aa}); fact1 -> int2: (¬{A}{aa} v {B}{aa}) -> {C}{aa}; int1 & int2 -> int3: {C}{aa}; int3 & fact5 -> hypothesis;
$facts$ = fact1: 仮になにがしかの物が教員達でないかまたはそれが投げ終われば政府論である fact2: この紙芝居は教員達でないならば「政府論であるということはない」ということは間違っている fact3: あのフルマラソンは罹患し易いかもしくは教員達であるかもしくは両方である fact4: すべての物は教員達でないかあるいは投げ終わるかまたはどちらもである fact5: もしこの紙芝居は政府論であるとすると「あのフルマラソンは罹患し易い」ということは成り立つ ; $hypothesis$ = あのフルマラソンは罹患し易くない ; $proof$ = 
fact4 -> int1: 「この紙芝居は教員達であるということはないかまたは投げ終わる」ということは確かだ; fact1 -> int2: もしこの紙芝居が教員達であるということはないかあるいはそれは投げ終わるかもしくはどちらもだとするとそれは政府論である; int1 & int2 -> int3: この紙芝居は政府論だ; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかの物が教員達でないかまたはそれが投げ終われば政府論である
事実2: この紙芝居は教員達でないならば「政府論であるということはない」ということは間違っている
事実3: あのフルマラソンは罹患し易いかもしくは教員達であるかもしくは両方である
事実4: すべての物は教員達でないかあるいは投げ終わるかまたはどちらもである
事実5: もしこの紙芝居は政府論であるとすると「あのフルマラソンは罹患し易い」ということは成り立つ

仮説: あのフルマラソンは罹患し易くない
1. 事実4から、推論1: "「この紙芝居は教員達であるということはないかまたは投げ終わる」ということは確かだ"が導かれる
2. 事実1から、推論2: "もしこの紙芝居が教員達であるということはないかあるいはそれは投げ終わるかもしくはどちらもだとするとそれは政府論である"が導かれる
3. 推論1と推論2から、推論3: "この紙芝居は政府論だ"が導かれる
4. 推論3と事実5から、仮説が否定される

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