あのエロスはいすゞＫＣ‐ＬＶでない
fact1: 「中細胞群は可笑し」ということは成り立つ fact2: あのエロスは寒々しかないとしたら「荒ぶるないしさらにサンディカリスムでない」ということは誤りだ fact3: もしも「とあるものは寒々しかないがしかしそれはいすゞＫＣ‐ＬＶだ」ということは偽ならばいすゞＫＣ‐ＬＶでない fact4: あのエロスは寒々しかない fact5: 「なにかは荒ぶるないしさらにサンディカリスムでない」ということは間違いであるならそれはいすゞＫＣ‐ＬＶである
fact2 & fact4 -> int1: 「あのエロスは荒ぶるないし加えてサンディカリスムでない」ということは誤りである; fact5 -> int2: もし「あのエロスは荒ぶるないし更にサンディカリスムだということはない」ということは誤りだとすればそれはいすゞＫＣ‐ＬＶである; int1 & int2 -> hypothesis;
あのエロスはいすゞＫＣ‐ＬＶでない
fact6 -> int3: 仮に「あのエロスは寒々しかないがしかしいすゞＫＣ‐ＬＶだ」ということは事実であるということはないとしたらいすゞＫＣ‐ＬＶだということはない; fact7 -> int4: もしその別種が中細胞群だとすれば可笑し;
$facts$ = fact1: 「中細胞群は可笑し」ということは成り立つ fact2: あのエロスは寒々しかないとしたら「荒ぶるないしさらにサンディカリスムでない」ということは誤りだ fact3: もしも「とあるものは寒々しかないがしかしそれはいすゞＫＣ‐ＬＶだ」ということは偽ならばいすゞＫＣ‐ＬＶでない fact4: あのエロスは寒々しかない fact5: 「なにかは荒ぶるないしさらにサンディカリスムでない」ということは間違いであるならそれはいすゞＫＣ‐ＬＶである ; $hypothesis$ = あのエロスはいすゞＫＣ‐ＬＶでない ; $proof$ = 
fact2 & fact4 -> int1: 「あのエロスは荒ぶるないし加えてサンディカリスムでない」ということは誤りである; fact5 -> int2: もし「あのエロスは荒ぶるないし更にサンディカリスムだということはない」ということは誤りだとすればそれはいすゞＫＣ‐ＬＶである; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「中細胞群は可笑し」ということは成り立つ
事実2: あのエロスは寒々しかないとしたら「荒ぶるないしさらにサンディカリスムでない」ということは誤りだ
事実3: もしも「とあるものは寒々しかないがしかしそれはいすゞＫＣ‐ＬＶだ」ということは偽ならばいすゞＫＣ‐ＬＶでない
事実4: あのエロスは寒々しかない
事実5: 「なにかは荒ぶるないしさらにサンディカリスムでない」ということは間違いであるならそれはいすゞＫＣ‐ＬＶである

仮説: あのエロスはいすゞＫＣ‐ＬＶでない
1. 事実2と事実4から、推論1: "「あのエロスは荒ぶるないし加えてサンディカリスムでない」ということは誤りである"が導かれる
2. 事実5から、推論2: "もし「あのエロスは荒ぶるないし更にサンディカリスムだということはない」ということは誤りだとすればそれはいすゞＫＣ‐ＬＶである"が導かれる
3. 推論1と推論2から、仮説が否定される

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