「このぴわぴちゃLv.66は現われ易いしおまけにゴールインする」ということは本当でない
fact1: このみちょみにゃLv.96が映えるならこのぴわぴちゃLv.66はゴールインする fact2: もしも「このみちょみにゃLv.96は下さない」ということは成り立たないなら「このみちょみにゃLv.96は現われ易いけど映えない」ということは誤りだ fact3: もしこのみちょみにゃLv.96が分かり得るならあのぷにゅぷにLv.55は映える fact4: このぴわぴちゃLv.66は現われ易い fact5: もしも「あのぷにゅぷにLv.55は分かり得るが生温くない」ということは成り立たないならこのみちょみにゃLv.96は映える fact6: 「あのぷにゅぷにLv.55は分かり得るがしかしそれは生温くない」ということは成り立たない
fact5 & fact6 -> int1: このみちょみにゃLv.96は映える; int1 & fact1 -> int2: このぴわぴちゃLv.66はゴールインする; int2 & fact4 -> hypothesis;
fact5 & fact6 -> int1: {B}{b}; int1 & fact1 -> int2: {A}{c}; int2 & fact4 -> hypothesis;
「そのぽえぽやLv.76は生温い」ということは確かである
$facts$ = fact1: このみちょみにゃLv.96が映えるならこのぴわぴちゃLv.66はゴールインする fact2: もしも「このみちょみにゃLv.96は下さない」ということは成り立たないなら「このみちょみにゃLv.96は現われ易いけど映えない」ということは誤りだ fact3: もしこのみちょみにゃLv.96が分かり得るならあのぷにゅぷにLv.55は映える fact4: このぴわぴちゃLv.66は現われ易い fact5: もしも「あのぷにゅぷにLv.55は分かり得るが生温くない」ということは成り立たないならこのみちょみにゃLv.96は映える fact6: 「あのぷにゅぷにLv.55は分かり得るがしかしそれは生温くない」ということは成り立たない ; $hypothesis$ = 「このぴわぴちゃLv.66は現われ易いしおまけにゴールインする」ということは本当でない ; $proof$ = 
fact5 & fact6 -> int1: このみちょみにゃLv.96は映える; int1 & fact1 -> int2: このぴわぴちゃLv.66はゴールインする; int2 & fact4 -> hypothesis; __DISPROVED__
fact5 & fact6 -> int1: {B}{b}; int1 & fact1 -> int2: {A}{c}; int2 & fact4 -> hypothesis; __DISPROVED__