あのまよまにょLv.5は扱き出さない
fact1: このぷわぷのLv.2は若者らしい fact2: 仮に「このもにゅもいLv.97は厚くない」ということは成り立つとしたら「あのぷにぷなLv.0は憎たらしくなくて加えてそれはひもじくない」ということは間違いだ fact3: もし仮に「そのみちゅみねLv.59は憎たらしいということはないしその上厚くない」ということは間違っていればあのぷにぷなLv.0は厚くない fact4: このもにゅもいLv.97が根深いけれど若者らしいということはないならば「このぷわぷのLv.2は根深くない」ということは成り立つ fact5: もし「あのぷにぷなLv.0は憎たらしいということはないしひもじくない」ということは間違いだとすればあのまよまにょLv.5は扱き出さない fact6: 仮にこのぷわぷのLv.2が若者らしいしさらに根深いとするとこのもにゅもいLv.97は厚くない fact7: もしも「このぷわぷのLv.2は最大化する」ということは成り立つとするとこのぷわぷのLv.2は根深い fact8: あのぷにぷなLv.0が厚くないとすればこのもにゅもいLv.97は根深い一方で若者らしくない fact9: もしもこのぷわぷのLv.2が扱き出せばあのまよまにょLv.5は扱き出す fact10: このぷわぷのLv.2は最大化する fact11: 「あのぷにぷなLv.0は憎たらしいということはないがひもじい」ということは誤りだ
fact7 & fact10 -> int1: このぷわぷのLv.2は根深い; int1 & fact1 -> int2: このぷわぷのLv.2は若者らしいしかつそれは根深い; int2 & fact6 -> int3: 「このもにゅもいLv.97は厚くない」ということは成り立つ; int3 & fact2 -> int4: 「あのぷにぷなLv.0は憎たらしくなくてそれにひもじくない」ということは間違いである; int4 & fact5 -> hypothesis;
fact7 & fact10 -> int1: {B}{a}; int1 & fact1 -> int2: ({C}{a} & {B}{a}); int2 & fact6 -> int3: ¬{D}{b}; int3 & fact2 -> int4: ¬(¬{E}{c} & ¬{F}{c}); int4 & fact5 -> hypothesis;
あのまよまにょLv.5は扱き出す
$facts$ = fact1: このぷわぷのLv.2は若者らしい fact2: 仮に「このもにゅもいLv.97は厚くない」ということは成り立つとしたら「あのぷにぷなLv.0は憎たらしくなくて加えてそれはひもじくない」ということは間違いだ fact3: もし仮に「そのみちゅみねLv.59は憎たらしいということはないしその上厚くない」ということは間違っていればあのぷにぷなLv.0は厚くない fact4: このもにゅもいLv.97が根深いけれど若者らしいということはないならば「このぷわぷのLv.2は根深くない」ということは成り立つ fact5: もし「あのぷにぷなLv.0は憎たらしいということはないしひもじくない」ということは間違いだとすればあのまよまにょLv.5は扱き出さない fact6: 仮にこのぷわぷのLv.2が若者らしいしさらに根深いとするとこのもにゅもいLv.97は厚くない fact7: もしも「このぷわぷのLv.2は最大化する」ということは成り立つとするとこのぷわぷのLv.2は根深い fact8: あのぷにぷなLv.0が厚くないとすればこのもにゅもいLv.97は根深い一方で若者らしくない fact9: もしもこのぷわぷのLv.2が扱き出せばあのまよまにょLv.5は扱き出す fact10: このぷわぷのLv.2は最大化する fact11: 「あのぷにぷなLv.0は憎たらしいということはないがひもじい」ということは誤りだ ; $hypothesis$ = あのまよまにょLv.5は扱き出さない ; $proof$ = 
fact7 & fact10 -> int1: このぷわぷのLv.2は根深い; int1 & fact1 -> int2: このぷわぷのLv.2は若者らしいしかつそれは根深い; int2 & fact6 -> int3: 「このもにゅもいLv.97は厚くない」ということは成り立つ; int3 & fact2 -> int4: 「あのぷにぷなLv.0は憎たらしくなくてそれにひもじくない」ということは間違いである; int4 & fact5 -> hypothesis; __PROVED__
fact7 & fact10 -> int1: {B}{a}; int1 & fact1 -> int2: ({C}{a} & {B}{a}); int2 & fact6 -> int3: ¬{D}{b}; int3 & fact2 -> int4: ¬(¬{E}{c} & ¬{F}{c}); int4 & fact5 -> hypothesis; __PROVED__