「あのぽちゃぽえLv.29は育ち難いし更にやんごとない」ということは成り立たない
fact1: あのぽちゃぽえLv.29は育ち難い fact2: あのみねみくLv.26はやんごとない fact3: あのぽちゃぽえLv.29はやんごとなくてそれはくるくるする fact4: あのぽちゃぽえLv.29は引退する fact5: 仮になにがしかのモンスターはくるくるしないとすると「それは育ち難いし加えてやんごとない」ということは成り立たない fact6: そのぽやぽゆLv.98はやんごとない fact7: 仮にこのぷにゃぷにLv.29がくるくるしないし加えてそれが住み易くないとすればあのぽちゃぽえLv.29はくるくるしない
fact3 -> int1: あのぽちゃぽえLv.29はやんごとない; int1 & fact1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
「あのぽちゃぽえLv.29は育ち難いし更にやんごとない」ということは成り立たない
fact8 -> int2: もし仮にあのぽちゃぽえLv.29はくるくるしないとすると「それは育ち難くてやんごとない」ということは間違いである;
$facts$ = fact1: あのぽちゃぽえLv.29は育ち難い fact2: あのみねみくLv.26はやんごとない fact3: あのぽちゃぽえLv.29はやんごとなくてそれはくるくるする fact4: あのぽちゃぽえLv.29は引退する fact5: 仮になにがしかのモンスターはくるくるしないとすると「それは育ち難いし加えてやんごとない」ということは成り立たない fact6: そのぽやぽゆLv.98はやんごとない fact7: 仮にこのぷにゃぷにLv.29がくるくるしないし加えてそれが住み易くないとすればあのぽちゃぽえLv.29はくるくるしない ; $hypothesis$ = 「あのぽちゃぽえLv.29は育ち難いし更にやんごとない」ということは成り立たない ; $proof$ = 
fact3 -> int1: あのぽちゃぽえLv.29はやんごとない; int1 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __DISPROVED__