そのぴちょぴねLv.62は勘違いし易い
fact1: このぴちゅぴよLv.8は手挟むけれど壊れ易くないとするとそれは焼き切れない fact2: もしそのぴちょぴねLv.62は焼き切れるか香ばしいかまたは両方だとしたら「そのぴちょぴねLv.62は勘違いし易くない」ということは成り立つ fact3: 楽しいモンスターは勘違いし易い fact4: 「このぴちゅぴよLv.8は手挟むがしかし壊れ易くない」ということは成り立つ fact5: もしこのぴちゅぴよLv.8は楽しいとすれば「そのぴちょぴねLv.62は香ばしい」ということは真実である fact6: このぴちゅぴよLv.8は楽しい
fact5 & fact6 -> int1: そのぴちょぴねLv.62は香ばしい; int1 -> int2: そのぴちょぴねLv.62は焼き切れるか香ばしいかもしくはどちらもだ; int2 & fact2 -> hypothesis;
fact5 & fact6 -> int1: {B}{b}; int1 -> int2: ({C}{b} v {B}{b}); int2 & fact2 -> hypothesis;
そのぴちょぴねLv.62は勘違いし易い
fact9 -> int3: そのぴちょぴねLv.62は楽しいとしたら「そのぴちょぴねLv.62は勘違いし易い」ということは成り立つ; fact7 & fact8 -> int4: このぴちゅぴよLv.8は焼き切れない; int4 -> int5: 何らかのモンスターは焼き切れるということはない;
$facts$ = fact1: このぴちゅぴよLv.8は手挟むけれど壊れ易くないとするとそれは焼き切れない fact2: もしそのぴちょぴねLv.62は焼き切れるか香ばしいかまたは両方だとしたら「そのぴちょぴねLv.62は勘違いし易くない」ということは成り立つ fact3: 楽しいモンスターは勘違いし易い fact4: 「このぴちゅぴよLv.8は手挟むがしかし壊れ易くない」ということは成り立つ fact5: もしこのぴちゅぴよLv.8は楽しいとすれば「そのぴちょぴねLv.62は香ばしい」ということは真実である fact6: このぴちゅぴよLv.8は楽しい ; $hypothesis$ = そのぴちょぴねLv.62は勘違いし易い ; $proof$ = 
fact5 & fact6 -> int1: そのぴちょぴねLv.62は香ばしい; int1 -> int2: そのぴちょぴねLv.62は焼き切れるか香ばしいかもしくはどちらもだ; int2 & fact2 -> hypothesis; __DISPROVED__
fact5 & fact6 -> int1: {B}{b}; int1 -> int2: ({C}{b} v {B}{b}); int2 & fact2 -> hypothesis; __DISPROVED__