「このもよものLv.14は意地悪くない」ということは本当だ
fact1: もし仮にこのもよものLv.14がセールスするししかも与え易いとするとこのもよものLv.14は高しない fact2: このもよものLv.14はセールスする fact3: もし仮に高しモンスターはいるとしたら「そのぴちょぴいLv.32は高しないけれど与え易い」ということは間違いだ fact4: このもよものLv.14は与え易い fact5: 「このぷのぷちゃLv.53は接続しないが住み難い」ということは成り立つということはないとしたらこのもよものLv.14は御めでたくない fact6: このもよものLv.14が高しということはないなら意地悪くない fact7: 仮にこのもよものLv.14が御めでたいということはないならばこのもよものLv.14は意地悪くて高し
fact2 & fact4 -> int1: このもよものLv.14はセールスするしその上与え易い; int1 & fact1 -> int2: このもよものLv.14は高しということはない; int2 & fact6 -> hypothesis;
fact2 & fact4 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact6 -> hypothesis;
そのぴちょぴいLv.32はセールスしない
$facts$ = fact1: もし仮にこのもよものLv.14がセールスするししかも与え易いとするとこのもよものLv.14は高しない fact2: このもよものLv.14はセールスする fact3: もし仮に高しモンスターはいるとしたら「そのぴちょぴいLv.32は高しないけれど与え易い」ということは間違いだ fact4: このもよものLv.14は与え易い fact5: 「このぷのぷちゃLv.53は接続しないが住み難い」ということは成り立つということはないとしたらこのもよものLv.14は御めでたくない fact6: このもよものLv.14が高しということはないなら意地悪くない fact7: 仮にこのもよものLv.14が御めでたいということはないならばこのもよものLv.14は意地悪くて高し ; $hypothesis$ = 「このもよものLv.14は意地悪くない」ということは本当だ ; $proof$ = 
fact2 & fact4 -> int1: このもよものLv.14はセールスするしその上与え易い; int1 & fact1 -> int2: このもよものLv.14は高しということはない; int2 & fact6 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact6 -> hypothesis; __PROVED__