「「仮に「変わり易くなくてとろい」ということは間違いならば生める」モンスターはいる」ということは成り立つということはない
fact1: 仮にそのぽちゃぽゆLv.11はとろくないなら「それは生める」ということは真実である fact2: 「もし「変わり易いし更にとろい」ということは事実と異なるとすると生める」モンスターはいる fact3: もし「「そのぽちゃぽゆLv.11は変わり易くないがとろい」ということは間違いだ」ということは成り立つとするとそのぽちゃぽゆLv.11は生める fact4: もし「あのぴのぴゆLv.80は生めないけど煩い」ということは成り立たないとすればあのぴのぴゆLv.80は拭い難い
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: 仮にそのぽちゃぽゆLv.11はとろくないなら「それは生める」ということは真実である fact2: 「もし「変わり易いし更にとろい」ということは事実と異なるとすると生める」モンスターはいる fact3: もし「「そのぽちゃぽゆLv.11は変わり易くないがとろい」ということは間違いだ」ということは成り立つとするとそのぽちゃぽゆLv.11は生める fact4: もし「あのぴのぴゆLv.80は生めないけど煩い」ということは成り立たないとすればあのぴのぴゆLv.80は拭い難い ; $hypothesis$ = 「「仮に「変わり易くなくてとろい」ということは間違いならば生める」モンスターはいる」ということは成り立つということはない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
fact3 -> hypothesis; __DISPROVED__