「あのまよまゆLv.54は贅沢するししかも図太い」ということは誤っている
fact1: もしなにがしかのモンスターは遠くないならば「それは贅沢するし図太い」ということは確かだということはない fact2: 仮にあのぷよぷねLv.10が交尾するし加えて遠いとするとあのまよまゆLv.54は遠くない fact3: もし仮に「そのぽちゅぽちゃLv.92は交尾する」ということは事実であるとすればあのまよまゆLv.54は贅沢する fact4: 「あのまよまゆLv.54は図太い」ということは事実だ fact5: あのぷよぷねLv.10は遠い fact6: もしもあのぷよぷねLv.10が遠いならばそのぽちゅぽちゃLv.92は交尾する
fact6 & fact5 -> int1: そのぽちゅぽちゃLv.92は交尾する; int1 & fact3 -> int2: あのまよまゆLv.54は贅沢する; int2 & fact4 -> hypothesis;
fact6 & fact5 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; int2 & fact4 -> hypothesis;
「あのまよまゆLv.54は贅沢するししかも図太い」ということは誤っている
fact8 -> int3: あのまよまゆLv.54は遠くないなら「それは贅沢するしまた図太い」ということは事実と異なる;
$facts$ = fact1: もしなにがしかのモンスターは遠くないならば「それは贅沢するし図太い」ということは確かだということはない fact2: 仮にあのぷよぷねLv.10が交尾するし加えて遠いとするとあのまよまゆLv.54は遠くない fact3: もし仮に「そのぽちゅぽちゃLv.92は交尾する」ということは事実であるとすればあのまよまゆLv.54は贅沢する fact4: 「あのまよまゆLv.54は図太い」ということは事実だ fact5: あのぷよぷねLv.10は遠い fact6: もしもあのぷよぷねLv.10が遠いならばそのぽちゅぽちゃLv.92は交尾する ; $hypothesis$ = 「あのまよまゆLv.54は贅沢するししかも図太い」ということは誤っている ; $proof$ = 
fact6 & fact5 -> int1: そのぽちゅぽちゃLv.92は交尾する; int1 & fact3 -> int2: あのまよまゆLv.54は贅沢する; int2 & fact4 -> hypothesis; __DISPROVED__
fact6 & fact5 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; int2 & fact4 -> hypothesis; __DISPROVED__