そのもなもえLv.98は出易いということはない
fact1: 「もし仮に「そのもちゅもにゃLv.13は奥床しい一方で監禁しない」ということは事実と異なるとしたらそのもちゅもにゃLv.13は探し易い」ということは成り立つ fact2: あのまゆまわLv.36は奥床しいなら「そのもちゅもにゃLv.13は奥床しい一方で監禁しない」ということは嘘である fact3: もしそのもちゅもにゃLv.13が過ごし易くないかまたは探し易いかまたは両方ともだとしたらそのもなもえLv.98は出易くない fact4: あのまゆまわLv.36は奥床しいしさらに美しい
fact4 -> int1: あのまゆまわLv.36は奥床しい; int1 & fact2 -> int2: 「そのもちゅもにゃLv.13は奥床しい一方で監禁しない」ということは成り立つということはない; int2 & fact1 -> int3: そのもちゅもにゃLv.13は探し易い; int3 -> int4: そのもちゅもにゃLv.13は過ごし易くないかそれは探し易い; int4 & fact3 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact2 -> int2: ¬({A}{b} & ¬{D}{b}); int2 & fact1 -> int3: {C}{b}; int3 -> int4: (¬{E}{b} v {C}{b}); int4 & fact3 -> hypothesis;
$facts$ = fact1: 「もし仮に「そのもちゅもにゃLv.13は奥床しい一方で監禁しない」ということは事実と異なるとしたらそのもちゅもにゃLv.13は探し易い」ということは成り立つ fact2: あのまゆまわLv.36は奥床しいなら「そのもちゅもにゃLv.13は奥床しい一方で監禁しない」ということは嘘である fact3: もしそのもちゅもにゃLv.13が過ごし易くないかまたは探し易いかまたは両方ともだとしたらそのもなもえLv.98は出易くない fact4: あのまゆまわLv.36は奥床しいしさらに美しい ; $hypothesis$ = そのもなもえLv.98は出易いということはない ; $proof$ = 
fact4 -> int1: あのまゆまわLv.36は奥床しい; int1 & fact2 -> int2: 「そのもちゅもにゃLv.13は奥床しい一方で監禁しない」ということは成り立つということはない; int2 & fact1 -> int3: そのもちゅもにゃLv.13は探し易い; int3 -> int4: そのもちゅもにゃLv.13は過ごし易くないかそれは探し易い; int4 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: {A}{a}; int1 & fact2 -> int2: ¬({A}{b} & ¬{D}{b}); int2 & fact1 -> int3: {C}{b}; int3 -> int4: (¬{E}{b} v {C}{b}); int4 & fact3 -> hypothesis; __PROVED__