「「評さない」物はある」ということは成り立つということはない
fact1: あるものは擦り立てないなら「それは瞠目しないかあるいは二十三世紀でない」ということは事実でない fact2: 仮にとある物は踏み付けないとすれば「それは威迫しないかそれは林間でないか両方だ」ということは間違っている fact3: もし「「区分出来るということはないしそれに具現しない」ということは嘘である」ものがあればあのエフェクターは擦り立てない fact4: 「「区分出来なくてその上具現しない」ということは偽な」ものはある fact5: 仮に「あのエフェクターは瞠目しないかもしくは二十三世紀でないかどちらもだ」ということは事実と異なるとすればこのウイルス感染症は評さない fact6: もしなにかは郵送料でないとすれば「それは執念深くないかあるいは俗っぽいということはないかあるいはどちらもである」ということは成り立たない
fact1 -> int1: 「あのエフェクターは擦り立てない」ということは真実であるとすれば「それは瞠目しないかもしくは二十三世紀でない」ということは事実と異なる; fact3 & fact4 -> int2: あのエフェクターは擦り立てない; int1 & int2 -> int3: 「あのエフェクターは瞠目しないか二十三世紀だということはないかもしくはどちらもだ」ということは偽である; int3 & fact5 -> int4: このウイルス感染症は評さない; int4 -> hypothesis;
もしあの血友は郵送料でないとしたら「執念深いということはないかもしくはそれは俗っぽくないかあるいは両方ともだ」ということは成り立たない
fact7 -> hypothesis;
$facts$ = fact1: あるものは擦り立てないなら「それは瞠目しないかあるいは二十三世紀でない」ということは事実でない fact2: 仮にとある物は踏み付けないとすれば「それは威迫しないかそれは林間でないか両方だ」ということは間違っている fact3: もし「「区分出来るということはないしそれに具現しない」ということは嘘である」ものがあればあのエフェクターは擦り立てない fact4: 「「区分出来なくてその上具現しない」ということは偽な」ものはある fact5: 仮に「あのエフェクターは瞠目しないかもしくは二十三世紀でないかどちらもだ」ということは事実と異なるとすればこのウイルス感染症は評さない fact6: もしなにかは郵送料でないとすれば「それは執念深くないかあるいは俗っぽいということはないかあるいはどちらもである」ということは成り立たない ; $hypothesis$ = 「「評さない」物はある」ということは成り立つということはない ; $proof$ = 
fact1 -> int1: 「あのエフェクターは擦り立てない」ということは真実であるとすれば「それは瞠目しないかもしくは二十三世紀でない」ということは事実と異なる; fact3 & fact4 -> int2: あのエフェクターは擦り立てない; int1 & int2 -> int3: 「あのエフェクターは瞠目しないか二十三世紀だということはないかもしくはどちらもだ」ということは偽である; int3 & fact5 -> int4: このウイルス感染症は評さない; int4 -> hypothesis; __DISPROVED__
事実1: あるものは擦り立てないなら「それは瞠目しないかあるいは二十三世紀でない」ということは事実でない
事実2: 仮にとある物は踏み付けないとすれば「それは威迫しないかそれは林間でないか両方だ」ということは間違っている
事実3: もし「「区分出来るということはないしそれに具現しない」ということは嘘である」ものがあればあのエフェクターは擦り立てない
事実4: 「「区分出来なくてその上具現しない」ということは偽な」ものはある
事実5: 仮に「あのエフェクターは瞠目しないかもしくは二十三世紀でないかどちらもだ」ということは事実と異なるとすればこのウイルス感染症は評さない
事実6: もしなにかは郵送料でないとすれば「それは執念深くないかあるいは俗っぽいということはないかあるいはどちらもである」ということは成り立たない

仮説: 「「評さない」物はある」ということは成り立つということはない
1. 事実1から、推論1: "「あのエフェクターは擦り立てない」ということは真実であるとすれば「それは瞠目しないかもしくは二十三世紀でない」ということは事実と異なる"が導かれる
2. 事実3と事実4から、推論2: "あのエフェクターは擦り立てない"が導かれる
3. 推論1と推論2から、推論3: "「あのエフェクターは瞠目しないか二十三世紀だということはないかもしくはどちらもだ」ということは偽である"が導かれる
4. 推論3と事実5から、推論4: "このウイルス感染症は評さない"が導かれる
5. 推論4から、仮説が否定される

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