あのぴちょぴいLv.72は保全する
fact1: このぷちゃぷにゃLv.38は悲観する fact2: このまちゅまにLv.9は保全しない fact3: あのぴわぴねLv.9は仲間らしい fact4: もし仮にこのぷちゃぷにゃLv.38が忌まわしいならそれは仲間らしい fact5: 仮にこのぷちゃぷにゃLv.38が仲間らしいし悲観するとしたらあのぴちょぴいLv.72は保全しない fact6: 仮にこのぷちゃぷにゃLv.38は保全するとしたら「このぷちゃぷにゃLv.38は忌まわしい」ということは成り立つ fact7: あのぴわぴねLv.9が仲間らしいとしたらあのぴわぴねLv.9は考え易い fact8: あのもちょもなLv.40は仲間らしい fact9: このぷちゃぷにゃLv.38は忌まわしい
fact4 & fact9 -> int1: このぷちゃぷにゃLv.38は仲間らしい; int1 & fact1 -> int2: このぷちゃぷにゃLv.38は仲間らしいしかつ悲観する; int2 & fact5 -> hypothesis;
fact4 & fact9 -> int1: {B}{a}; int1 & fact1 -> int2: ({B}{a} & {C}{a}); int2 & fact5 -> hypothesis;
あのぴわぴねLv.9は考え易いししかも上向ける
fact11 & fact10 -> int3: 「あのぴわぴねLv.9は考え易い」ということは真実である;
$facts$ = fact1: このぷちゃぷにゃLv.38は悲観する fact2: このまちゅまにLv.9は保全しない fact3: あのぴわぴねLv.9は仲間らしい fact4: もし仮にこのぷちゃぷにゃLv.38が忌まわしいならそれは仲間らしい fact5: 仮にこのぷちゃぷにゃLv.38が仲間らしいし悲観するとしたらあのぴちょぴいLv.72は保全しない fact6: 仮にこのぷちゃぷにゃLv.38は保全するとしたら「このぷちゃぷにゃLv.38は忌まわしい」ということは成り立つ fact7: あのぴわぴねLv.9が仲間らしいとしたらあのぴわぴねLv.9は考え易い fact8: あのもちょもなLv.40は仲間らしい fact9: このぷちゃぷにゃLv.38は忌まわしい ; $hypothesis$ = あのぴちょぴいLv.72は保全する ; $proof$ = 
fact4 & fact9 -> int1: このぷちゃぷにゃLv.38は仲間らしい; int1 & fact1 -> int2: このぷちゃぷにゃLv.38は仲間らしいしかつ悲観する; int2 & fact5 -> hypothesis; __DISPROVED__
fact4 & fact9 -> int1: {B}{a}; int1 & fact1 -> int2: ({B}{a} & {C}{a}); int2 & fact5 -> hypothesis; __DISPROVED__