「そのみにゅみのLv.9はそそっかしいし春めく」ということは嘘だ
fact1: このぷのぷにょLv.46は態とらしい fact2: このぴねぴにょLv.50が推定するとすると態とらしい fact3: もしもそのみにゅみのLv.9が春めくとしたらそのみにゅみのLv.9は推定する fact4: 「そのみにゅみのLv.9は春めく」ということは正しい fact5: 仮にこのぴねぴにょLv.50が春めくとしたらそれは態とらしい fact6: このぴねぴにょLv.50は推定する fact7: そのみにゅみのLv.9は推定する fact8: もしもこのぴねぴにょLv.50が態とらしいとするとそのみにゅみのLv.9はそそっかしい
fact2 & fact6 -> int1: 「このぴねぴにょLv.50は態とらしい」ということは確かである; int1 & fact8 -> int2: そのみにゅみのLv.9はそそっかしい; int2 & fact4 -> hypothesis;
fact2 & fact6 -> int1: {B}{a}; int1 & fact8 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
$facts$ = fact1: このぷのぷにょLv.46は態とらしい fact2: このぴねぴにょLv.50が推定するとすると態とらしい fact3: もしもそのみにゅみのLv.9が春めくとしたらそのみにゅみのLv.9は推定する fact4: 「そのみにゅみのLv.9は春めく」ということは正しい fact5: 仮にこのぴねぴにょLv.50が春めくとしたらそれは態とらしい fact6: このぴねぴにょLv.50は推定する fact7: そのみにゅみのLv.9は推定する fact8: もしもこのぴねぴにょLv.50が態とらしいとするとそのみにゅみのLv.9はそそっかしい ; $hypothesis$ = 「そのみにゅみのLv.9はそそっかしいし春めく」ということは嘘だ ; $proof$ = 
fact2 & fact6 -> int1: 「このぴねぴにょLv.50は態とらしい」ということは確かである; int1 & fact8 -> int2: そのみにゅみのLv.9はそそっかしい; int2 & fact4 -> hypothesis; __DISPROVED__
fact2 & fact6 -> int1: {B}{a}; int1 & fact8 -> int2: {C}{b}; int2 & fact4 -> hypothesis; __DISPROVED__